L’américain Jasper Design Automation, éditeur d’outils de vérification par la méthode des preuves formelles, vient de boucler un quatrième t… L’américain Jasper Design Automation, éditeur d’outils de vérification par la méthode des preuves formelles, vient de boucler un quatrième tour de table d’un montant de 7 millions de dollars et d’accueillir un cinquième investisseur. Cette…
La lecture de cet article est réservée aux abonnés.
Connectez-vous ou abonnez-vous pour y accéder.