Translation for "model-checker" to french

Model-checker

• vérificateur de modèle

Translation examples

vérificateur de modèle

(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;
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.