Join AdaCore at the CYBERUK conference in Birmingham, May 13-15! We're teaming up with UK Research and Innovation and Digital Security by Design (DSbD), you can find us at Stand C2. Come explore the cutting-edge capabilities of our CHERI technology and see how we're advancing cybersecurity. 📍 Meet us at the Innovate UK booth to learn more. See you there! #CYBERUK
AdaCore
Software Development
Paris, France 10,081 followers
Helping Developers Build Software that Matters
About us
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.
- Website
-
http://www.adacore.com
External link for AdaCore
- Industry
- Software Development
- Company size
- 51-200 employees
- Headquarters
- Paris, France
- Type
- Privately Held
- Founded
- 1994
- Specialties
- Software tools and expertise for safety-critical, security-critical, and and high-reliability applications.
Locations
-
Primary
46 rue d'Amsterdam
Paris, France 75009, FR
-
15th floor
New York, NY 10011, US
Employees at AdaCore
Updates
-
Shoutout to Daniel King for delivering an outstanding talk on "Ada on CHERI" today at the University of Cambridge. He discussed our work on the Edge Avionics project, focusing on our findings through porting Ada bare-metal runtimes to the Arm Morello CHERI-compliant CPU. He highlighted how GNAT Pro Ada's runtime checks compare with CHERI's hardware checks, and discussed the benefits of porting Ada applications to CHERI, highlighting the symbiotic benefits of a pure capability CHERI Ada run-time executing on the CHERI Arm Morello target. 🔗 More about the workshop: https://lnkd.in/er5BkKRP
-
Attention software engineering practitioners! The High Integrity Software Conference is back, and we're excited to announce that we're accepting proposals for talks through our Call for Presentations. Join us as we share challenges, best practices, and experiences with industrial and academic specialists. Gain valuable insights into important techniques and methods applicable across various industry sectors. Click the link for more information: https://lnkd.in/eMKMkjQd
-
Missed our High Integrity Technology Update webinar last week? No worries! You can still catch up on all the insights and discussions on the latest advancements in high integrity systems. Learn from industry experts how these technologies are shaping the future of secure software development. Watch the full webinar here: https://lnkd.in/ePrB_CD9
-
New on our blog: A Fresh Take on DO-178C Software Reviews. Discover innovative strategies for enhancing the efficiency and effectiveness of software reviews under the DO-178C standard. Read the full blog here: https://lnkd.in/eWTBVYUp
A Fresh Take on DO-178C Software Reviews
blog.adacore.com
-
Discover the critical role of formal verification in enhancing software security. Learn how these systems validate software integrity and identify vulnerabilities through detailed correctness checks before deployment. Explore the insightful article written by our team and kindly featured on Cybersecurity Intelligence: https://lnkd.in/eYAnCwaN #CyberSecurity #FormalVerification
The Importance Of Formal Verification Networks For Secure Software
cybersecurityintelligence.com
-
Flashback to Ada programming like it's 1985! Our latest blog explores the enduring principles of Ada programming, highlighting how its foundational features continue to influence modern software development. Discover Ada's commitment to safety and reliability, proving its relevance in today's tech world. 👉 Take a trip back in time with us: https://lnkd.in/egtZ995p
Ada Programming like it's 1985
blog.adacore.com
-
At AdaCore, we're committed not just to advancing technology but also to protecting our planet. Our latest blog explores how our initiatives are contributing to reducing greenhouse gas emissions. Join us in our journey towards a more sustainable tech industry. 👉 Read about our efforts here: https://lnkd.in/edBV-ehM
AdaCore Contribution to Reducing GHG Emissions
blog.adacore.com
-
SPARK Pro's Secrets to Software Security Webinar: Join Yannick Moy to uncover how SPARK Pro achieves unparalleled security. Learn how to use its specification language and ghost code for creating secure applications. A must for security-focused developers. Reserve Your Seat Now: https://bit.ly/3HFVHFl
Proving Software Security | AdaCore
app.livestorm.co
-
Enhancing Software Security with SPARK Pro: Dive into SPARK Pro's method for software security. Yannick Moy reveals how SPARK uses specification and auto-active proof to prevent errors and enhance security. Ideal for developers seeking superior protection. Register Today! https://bit.ly/3HFVHFl