L’américain Jasper Design Automation, éditeur d’outils de vérification par la méthode des preuves formelles, vient d’ajouter à son catalogue…

L’américain Jasper Design Automation, éditeur d’outils de vérification par la méthode des preuves formelles, vient d’ajouter à son catalogue un ensemble d’extensions de modélisation pour une vérification rapide et exhaustive des conceptions de chemins de données

…