Translation for "vérificateur de modèle" to english

Vérificateur de modèle

• model checker

Translation examples

model checker

b) Des prototypes d’outils informatiques ont été mis au point, dont un vérificateur de démonstration et un vérificateur de modèle, qui serviront tous deux à aider les ingénieurs informaticiens à appliquer la méthode des calculs de durée.
(b) Computer tools were prototyped, including a duration calculus proof checker and model checker. Both of these tools will assist software engineers in applying duration calculus;