ADACORE
46 RUE D'AMESTERDAM
75009 PARIS
Présent au salon

Paris Open Source Summit

-
VOIR LE SITE DU SALON >
iconOPEN SOURCE

Présentation
-

AdaCore fournit des outils de développement et de vérification pour les logiciels à missions critiques. Les produits incluent : des environnements de développement GNAT Pro pour Ada, C et C ++, l’analyseur statique CodePeer compatible avec CWE pour Ada, l’ environnement de vérification formelle SPARK Pro et le générateur de code certifiable QGen.

Produits
-

Nos produits incluent : des environnements de développement GNAT Pro pour Ada, C et C ++, l’analyseur statique CodePeer compatible avec CWE pour Ada, l’environnement de vérification formelle SPARK Pro et le générateur de code certifiable et débogueur pour un sous-ensemble sécure de modèles Simulink / Stateflow, QGen. Tous les produits sont accompagnés d’un support fourni par les développeurs eux-mêmes et sont disponibles sur un large éventail de cibles natives et embarquées.

Structure
-

  • Effectif : 10 à 49 salariés
  • Chiffre d’affaire : 10 à 20 M€
  • Information administrative et juridique : SAS

Contact
-

ADACORE
46 RUE D'AMESTERDAM
75009 PARIS
Weyou Group

Tous droits réservés, Weyou Group, 2016 I Mentions légales

Presentation ADACORE sur Mon Annuaire Pro.com