ADACORE
PARIS, France
Fournit des outils et services pour développer des logiciels sûrs et fiables dans des secteurs critiques.
À propos
AdaCore aide les développeurs à créer des logiciels sûrs, sécurisés et fiables.
Forts de plus de 20 ans d'expérience dans des secteurs critiques tels que l'aérospatiale, la défense et les chemins de fer, AdaCore propose des outils et des services qui facilitent le développement de logiciels de haute intégrité.
Alors que le besoin de logiciels sûrs et fiables s'étend à de nouveaux secteurs, AdaCore est ravi d'apporter son expertise et ses services à une nouvelle génération de développeurs.
Solutions proposées
GNAT Pro for Ada
Par ADACORE
GNAT Pro for Ada est un environnement de développement complet pour le langage Ada, incluant un compilateur, des outils ...
GNAT Static Analysis for Ada
Par ADACORE
GNAT Static Analysis Suite est un outil d'analyse statique automatisée pour le langage Ada. Il effectue une analyse séma...
GNAT Pro for C/C++
Par ADACORE
GNAT Pro for C/C++ est un environnement de développement industriel pour les langages C et C++. Il inclut des compilateu...
CodeSonar for C/C++
Par ADACORE
CodeSonar est un outil d'analyse statique de code source pour les langages C, C++, Java, C#, Go, Python, JavaScript, Typ...
SPARK Pro
Par ADACORE
SPARK Pro est un outil de preuve formelle qui permet de vérifier mathématiquement la sûreté, la sécurité et l'exactitude...
GNAT Pro for Rust
Par ADACORE
GNAT Pro for Rust est une suite d'outils de compilation et de développement pour le langage Rust, incluant compilateurs,...
GNAT Dynamic Analysis Suite
Par ADACORE
GNAT Dynamic Analysis Suite est un outil de test dynamique pour les applications Ada, C et C++. Il intègre des fonctionn...
GNAT Pro
Par ADACORE
GNAT Pro est une suite d'outils de développement logiciel pour les langages Ada, C/C++ et Rust. Elle comprend des compil...
Informations juridiques
Source : INSEE
Localisation
46 RUE D AMSTERDAM 75009 PARISFrance
Métadonnées
- Source des données
- ugap,grenouille,tj