Vérification formelle

Un article de Wikipédia, l'encyclopédie libre.
Ceci est la version actuelle de cette page, en date du 11 octobre 2018 à 01:20 et modifiée en dernier par 83.154.37.128 (discuter). L'URL présente est un lien permanent vers cette version.
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Cet article court présente un sujet plus développé dans : Méthode formelle (informatique).

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

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.

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Vérification_formelle&oldid=152929500 ».