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.

Ce document provient de « V%C3%A9rification 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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”