vérification formelle

Une définition du Jargon Français.

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.