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

Vérification de modèle

• model verification
• model checking

Translation examples

model verification

a La <<modélisation>> englobe la préparation des données à utiliser pour l'exploitation des modèles (données d'émission, données météorologiques, etc.), la construction et la vérification des modèles et les calculs correspondants.
a/ "Modelling" includes: preparation of input data for model runs (emission data, meteorological data, etc.), model development, model verification and model calculations.

A.9.5.6 Paramètres d'entrée pour la vérification du modèle de VH spécifique
A.9.5.6. Specific HV model verification input parameters

Il est en outre souhaitable, pour les vérifications des modèles, d'avoir davantage de mesures des concentrations de POP dans les sols.
Further, for model verifications the availability of more measured POP soil concentrations is desirable.

Les observations des particules de sulfate présentent la fiabilité et la couverture spatiale voulues aux fins de vérification des modèles.
Observations of particulate sulphate have the necessary reliability and spatial coverage for model verification purposes.

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