La lecture de cet article est réservée aux abonnés.
Connectez-vous ou abonnez-vous pour y accéder.
Jasper Design Automation améliore les possibilités de ses outils de vérification formelle
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…
