Top Qs
Chronologie
Chat
Contexte
Vérification formelle
De Wikipédia, l'encyclopédie libre
Remove ads
On parle de vérification formelle quand on[Qui ?] utilise les techniques des méthodes formelles.
Cet article ne cite pas suffisamment ses sources ().
Utilisation
Dans le monde industriel, 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.
Notes et références
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads