La vérification formelle consiste à traduire le système, préalablement décrit dans un langage approprié, vers un modèle ”sémantique”, généralement un graphe d’états, sur lequel les propriétés de correction attendues sont ...