Translation for "model checking" to french

Model checking

• vérification de modèle

Translation examples

vérification de modèle

This week-long computer school, organized and taught by UNU-IIST personnel at University Kebangsaan Malaysia, included courses in functional and high-level programming and in model checking.
Ce stage d'une semaine organisé et dispensé par le personnel de l'UNU-IIST à l'Université de Kebangsaan (Malaisie) comprenait des cours de programmation fonctionnelle et avancée et de vérification de modèle.