Définition de exploration de modèle | Babel Free
\ɛk.splɔ.ʁa.sjɔ̃ də mɔ.dɛl\Définitions
Méthode de vérification algorithmique, qui permet de déterminer avec efficacité si un système représenté par un modèle satisfait à un ensemble de spécifications formelles et qui, si une des spécifications n’est pas vérifiée, fournit des contre-exemples servant à identifier la source des erreurs.
Niveau CECR
C1
Avancé
Ce mot fait partie du vocabulaire CECR C1 — niveau avancé.
Ce mot fait partie du vocabulaire CECR C1 — niveau avancé.
Voir aussi
Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free