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.
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 11
| Date | Title | Description |
| 12.06.2024 | AdaCore Research Proves Novel Solution for 'Security by Default' | AdaCore Research Proves Novel Solution for "Security by Default." BRISTOL, UNITED KINGDOM, June 12, 2024 /EINPresswire.com/ -- In an age of increasing security breaches and cyberattacks, the need for robust and comprehensive secur... |
| 31.03.2024 | Battery Ventures Strategically Invests In Safety Systems Company AdaCore | Battery Ventures announced a significant investment in AdaCore, a leader in providing software development tools for safety and security-critical systems. This strategic deal will accelerate AdaCore’s expansion and position the company as a... |
| 29.03.2024 | Часть 1. GPU-Based Fuzzing. Что за зверь такой? | Klim Galkin SSDLC исследователь (почти) Всем привет! В процессе изучение глобальной темы фаззинга наткнулся на статью ребят из Trail Of Bits (Ссылка). Такое использование видеокарт в фаззинг‑тестировании зацепило меня, на то есть причины. С... |
| 28.03.2023 | AdaCore Launches RecordFlux | AdaCore, a trusted provider of software development and verification tools, announced the launch of its new RecordFlux technology, designed to ease the development and security of binary communication protocols. The technology comprises a D... |
| 09.02.2023 | AdaCore Joins Rust Foundation as Silver Member | Company brings extensive certification and safety standards experience to the Rust community AdaCore, a trusted provider of software development and verification tools, is pleased to announce that it is now a Silver Member of the Rust Found... |
| 14.04.2022 | О старых книгах по программированию | Как технари, мы постоянно находимся на фронте технологий: новые версии, новые стандарты, новые фреймворки, новые парадигмы. Во многом это хорошо. Многие результаты представляют собой ощутимое улучшение по сравнению с существующим положением... |
| 13.12.2021 | IHI Corporation Chooses AdaCore's QGen Model-based Engineering Toolsuite to Develop Autonomous Factory Truck System Software | AdaCore today announced that IHI Corporation of Japan has chosen AdaCore’s QGen Model Verifier, a part of its QGen model-based engineering toolsuite, along with AdaCore’s expert support, to help them develop a safe and reliable autonomous t... |
| 20.07.2021 | Collins Aerospace Selects AdaCore's QGen Code Generator to Streamline Model-Based Development | AdaCore, a trusted provider of software development and verification tools, announces that Collins Aerospace has selected AdaCore’s QGen code generator for Simulink®/Stateflow® models, and the new TQL-1 Enterprise Qualification Package, to ... |
| 09.06.2021 | BlackBerry : Learning to Love a Rigid and Inflexible Language | Learning to Love a Rigid and Inflexible Language EMBEDDED SYSTEMS / 06.09.21 / Chris Hobbs Share on Twitter Share on Facebook Share on Linked In Email I am old enough to remember the publication of the Strawman, Woodenman, Tinman, Ironman, ... |
| 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 security and cost effectiveness can all co-exist have been turned over to the open source community. Tokeneer manages access control for a bi... |
Show more