exploration de modèle французский

Значение exploration de modèle значение

Что в французском языке означает exploration de modèle?

exploration de modèle существительное

— (Informatique) 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.

Возможно, вы искали...

exploration | de | modèle