Keita, Namory
(University of Guelma, 2023)
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 ...