Domaine : Informatique
Journal officiel du 01/01/2013
Définition : Dispositif permettant l’exploration d’un modèle.
Voir aussi : exploration de modèle
Équivalent étranger : model-checker (en)
Journal officiel du 01/01/2013
Définition : Dispositif permettant l’exploration d’un modèle.
Voir aussi : exploration de modèle
Équivalent étranger : model-checker (en)