A la recherche d'informations sur Vérification formelle ? Vous êtes ici : recherche >> Encyclopédie » Vérification formelle
 |
Cet article est une ébauche concernant l’informatique.
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.
Le contenu de cette page (Vérification formelle) est un minuscule extrait de l'encyclopiédie gratuite en ligne WIKIPEDIA
le webmaster de ce site n'est pas l'auteur de cet article (Vérification formelle). Vous pouvez retrouver l'original de cet article (Vérification formelle) à cette adresse et la liste des auteurs
ici
Vous pouvez modifier ou compléter cet article mais également discuter de son contenu (Vérification formelle) sur le site de WIKIPEDIA France - Contenu (Vérification formelle) disponible sous GNU Free Documentation License.
