model-checker

Anglais

Cette entrée est considérée comme une ébauche à compléter en anglais. Si vous possédez quelques connaissances sur le sujet, vous pouvez les partager en modifiant dès à présent cette page (en cliquant sur le lien « modifier le wikicode »).

Étymologie

Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici.

Nom commun

model-checker \Prononciation ?\

1. (Informatique) Explorateur de modèle.