Vérificabilité
- Vérificabilité
-
Vérification formelle
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.
Catégorie : Méthode formelle
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Vérificabilité de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
vérifiabilité — ● vérifiabilité nom féminin Caractère de ce qui est vérifiable. vérifiabilité [veʀifjabilite] n. f. ÉTYM. Mil. XXe; vérificabilité, 1912, t. employé par les logiciens de l école de Vienne; du rad. de vérifiable. ❖ ♦ Didact. (log., sc.). Caractère … Encyclopédie Universelle