Vérification formelle
  |
Cet article est une ébauche concernant l’informatique et l'informatique théorique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
|
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.
- Portail de l’informatique
- Portail de l'informatique théorique
This article is issued from Wikipédia - version of the Friday, March 20, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.