Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

informatique ◊ outil servant à vérifier les propriétés d'un programme (forme, structure, temps de réponse, précision de la réponse...)