Traduction de "model-checker" à espagnol

Model-checker

• verificador de modelos
• modelo ortográfico

Exemples de traduction

verificador de modelos

(b) Computer tools were prototyped, including a duration calculus proof checker and model checker.
b) Elaboración de prototipos de herramientas informáticas, entre los que figuraban un verificador de pruebas y un verificador de modelos de cálculo de la duración.