L'embarqué > AdaCore

AdaCore

Les vainqueurs du concours sur les développements Ada et Spark sur ARM Cortex-R/M sont connus

Publié le 30 novembre 2016 à 12:24 par François Gauthier        

La société franco-américaine AdaCore, éditeur d’outils logiciels pour applications critiques et spécialiste du langage Ada, a profité du congrès sur les logiciels embarqués ESE Kongress, qui se déroule à Sindelfingen ...

Partager
Lire

Avec l’outil Spark Pro 16, AdaCore facilite l’usage de la vérification statique et des preuves formelles

Publié le 01 février 2016 à 12:26 par François Gauthier        

La société AdaCore, éditeur d’outils de développement et de vérification de logiciels critiques qui nécessitent de hauts niveaux de sécurité et/ou de sûreté, a profité de l’événement ERTS 2016, qui s’est déroulé à Toulouse fin janvier, ...

Partager
Lire

Lire les articles précèdents

Lire les articles suivants