Cadence et Mentor Graphics viennent tous les deux d’ajouter l’analyse formelle à leurs outils de vérification.

Le concept des preuves formelles existe depuis de nombreuses années, mais il a fallu attendre ces dernières années pour voir apparaître les méthodologies, les standards et les problèmes assurant une véritable adoption de cette technique de vérification. Pour des

…