Vérification formelle

On parle de vérification formelle quand on[Qui ?] utilise les techniques des méthodes formelles.

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

  • Portail de l’informatique
  • Portail de l'informatique théorique
Cet article est issu de Wikipédia. Sauf mention contraire, le texte est disponible sous licence Creative Commons Attribution-Share Alike 4.0. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.