Vérification du Modèle

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Processus visant à vérifier qu'une implémentation informatique résout correctement et fidèlement le modèle mathématique visé, sans erreurs de code, défauts numériques ni incohérences algorithmiques.