Vérification formelle

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

On parle de vérification formelle quand on utilise les techniques des méthodes formelles. Se référer à cet article pour plus de détails.

Dans le monde industriel, la vérification formelle est utilisée aussi bien pour vérifier du code informatique, que du code de circuits électroniques.