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.
Nous travaillons sur des applications mobiles?
Dictionnaire français moderne
Explorez et recherchez un énorme catalogue de mots.
Mot du jour
Obtenez un mot mémorable organisé chaque jour.
Mettez-vous au défi
Améliorez votre vocabulaire en vous fixant des objectifs personnels.