La mesure de couverture d’assertions au sein d’un flot de vérification est le seul moyen de savoir si la vérification d’une conception est entièrement terminée. TransEDA montre comment des critères de mesure de couverture spécifiques aux assertions, associés si nécessaire à des méthodes formelles, assurent un contrôle total de la vérification fonctionnelle.