L’Américain Jasper Design Automation, éditeur d’outils de vérification par la méthode des preuves formelles, vient d’introduire la version 4…
L’Américain Jasper Design Automation, éditeur d’outils de vérification par la méthode des preuves formelles, vient d’introduire la version 4.3 de son logiciel de vérification système JasperGold, ainsi que GamePlan 1.1. Entièrement personnalisable, ce dernier permet de
…
Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.
