AdaCore is attending the NASPICE conference on 29th to 30th September with Mark Hermeling presenting on Approaches to Memory Safety for Functional Safety.
Published
Signal category
Presence & Recognition
Quote
“We are looking forward to attending NASPICE on 29th - 30th September. Join Mark Hermeling, who will be presenting on 'Approaches to Memory Safety for Functional Safety'”
— AdaCore team
Company
AdaCore
Tools for High-Integrity Development in Ada/SPARK, C/C++, and Rust
- Industry
- Software Development
- Location
- Paris, FR
- Company size
- 166 employees
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.
Founded 1994