vérification formelle

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

locution nominale, féminin.  [spécification]. Moyens mathématiques de s'assurer du fait qu'un système est conforme à une partie définie de ses spécifications.

Cela coûte cher et tout n'est pas ainsi vérifiable (surtout facilement), mais permet de s'assurer qu'il ne reste qu'aussi peu de bogues que possible lors de la mise en production.