L’Américain Avenant, éditeur de logiciels de vérification fonctionnelle statique et de protocole Amba, vient d’introduire un troisième outil, baptisé SolidTC, destiné cette fois à la vérification automatique des exceptions de séquencement. Il s’agit en fait des chemins erronés et des chemins à cycles multiples, qui, s’ils ne sont pas identifiés comme des contraintes, ralentissent l’exécution

…