Model Checking
concept
méthode de vérification formelle utilisée pour prouver automatiquement les propriétés de systèmes informatiques
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Vérification_de_modèles
Lien Wikidata : https://www.wikidata.org/wiki/Q1569697