vérification formelle

Une définition du Jargon Français.
Aller à : Navigation, rechercher

locution nominale, féminin.  [spécification]. Contrôle du fait qu'un système, le plus souvent logiciel, est bien conforme à ses spécifications. Cela coûte cher, mais permet de s'assurer qu'il ne reste qu'un minimum de bogues lors de la mise en production du système.