AdaCore's mission is to help people build software that matters.
In the modern world there is an ever increasing amount of activities that require the integration of software. Have you driven your car today? Flown on a plane? Endeavored to move from Point A to Point B anywhere for work or play? Millions upon millions of lines of code were required in order for you to do so. We endeavor to make sure that code is safe and secure.
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. With offices in Paris, New York and Boston, what started as a side project between a few NYU professors and their students has become the Aerospace and Defense industry's standard.
For more information visit our website at www.adacore.com or click on our job offerings on this page.
Location: France, Ile-de-France
Employees: 51-200
Founded date: 1994
Investors 1
Date | Name | Website |
09.04.2024 | Battery Ve... | battery.co... |
Mentions in press and media 10
Date | Title | Description | Source |
31.03.2024 | Battery Ventures Strategically Invests In Safety Systems Com... | Battery Ventures announced a significant investment in AdaCore, a leader in providing software devel... | pulse2.com... |
29.03.2024 | Часть 1. GPU-Based Fuzzing. Что за зверь такой?... | Klim Galkin SSDLC исследователь (почти) Всем привет! В процессе изучение глобальной темы фаззинга на... | habr.com/r... |
28.03.2023 | AdaCore Launches RecordFlux | AdaCore, a trusted provider of software development and verification tools, announced the launch of ... | aithority.... |
09.02.2023 | AdaCore Joins Rust Foundation as Silver Member | Company brings extensive certification and safety standards experience to the Rust community AdaCore... | aithority.... |
14.04.2022 | О старых книгах по программированию... | Как технари, мы постоянно находимся на фронте технологий: новые версии, новые стандарты, новые фрейм... | habr.com/r... |
13.12.2021 | IHI Corporation Chooses AdaCore's QGen Model-based Engineeri... | AdaCore today announced that IHI Corporation of Japan has chosen AdaCore’s QGen Model Verifier, a pa... | marketscre... |
20.07.2021 | Collins Aerospace Selects AdaCore's QGen Code Generator to S... | AdaCore, a trusted provider of software development and verification tools, announces that Collins A... | marketscre... |
09.06.2021 | BlackBerry : Learning to Love a Rigid and Inflexible Languag... | Learning to Love a Rigid and Inflexible Language EMBEDDED SYSTEMS / 06.09.21 / Chris Hobbs Share on ... | marketscre... |
07.10.2008 | NSA edges into the open source realm with Tokeneer | Components of a National Security Agency case study designed to demonstrate that open source, high s... | betanews.c... |
- | Как мы верифицированный полетный контроллер для квадрокоптер... | Однажды на новогодних каникулах, лениво листая интернет, бракоделы в нашем* R&D офисе заметили в... | habr.com/r... |