model checking

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.

Locution nominale

model checking \Prononciation ?\

  1. (Informatique) Exploration de modèle.
Cet article est issu de Wiktionnaire. Sauf mention contraire, le texte est disponible sous Creative Commons Attribution-Share Alike 4.0. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.