V
Rare
Vérification formelle
La vérification formelle est utilisée aussi bien pour vérifier du code informatique (bon fonctionnement des programmes avant la livraison du logiciel), que du code de circuits électroniques.
Article Wikipédia (CC BY-SA 4.0)