AdaCore | Ada/C/C++ tools for critical software

📽️ Discover what makes AdaCore a unique place to work in our latest video! Hear directly from our team members about their experiences, the supportive culture, and the impactful projects that make AdaCore an inspiring place to grow professionally. 👉 See how you can be a part of our story: adacore.com/company/careers

Visit AdaCore at #HISC2025 today. See our CodeSonar and Lauterbach demos, learn how to optimise DevSecOps with Static Analysis, and watch TRACE32® in action—the industry’s first development tool suite to fully support the AdaCore GNAT Pro Ada compiler. Don’t miss AdaCore’s talks: ➡️ Rob Daulton's spotlight talk on Detecting CWE violations using deep-flow C/C++/Ada static analysis ➡️ João Azevedo's presentation on Digital Security by Verification — Fuzz Testing on CHERI See the agenda here👉 his-conference.co.uk/programme

EE Times Europe Magazine – November 2025 eetimes.eu/ee-times-europ…

Narzędzia #TRACE32® firmy #LAUTERBACH ze wsparciem kompilatora @AdaCoreCompany GNAT Pro Ada – zaprojektowanego z myślą o aplikacjach bezpieczeństwa krytycznego w sektorach lotniczym, motoryzacyjnym i obronnym. 👉 tiny.pl/xvzmd4rk #embedded #automotive #defense #AdaCore

Great to see the mentions of #SPARK in this Defcon talk by Adam Zabrocki and Marko Mitic #NVIDIA youtube.com/live/MEPF0dEAj… #formalmethods #softwareengineering #defcon33 #defcon

Don't miss out on your chance to sponsor #HISC2025 - Book your booth now! Gold, Silver and Startup Sponsor Packages are still available. Check out our packages here👉 his-conference.co.uk/exhibitors

Explore how Rust is shaping the future of space exploration! Missed our live session on “Navigating Mars with Rust”? You can now watch it on demand. Discover how Rust is enabling high-assurance software for space missions, with insights into its reliability, safety, and performance benefits for critical systems. 👉 Sign up to watch now: bit.ly/3IJWLMk #RustLang #SpaceTech #HighIntegritySoftware

🚀 Can Rust handle the challenges of space exploration? Join us live for “Navigating Mars with Rust: Putting Rust to the Test with the M.A.R.S. Rover” – Learn why everyone’s talking about Rust and explore this language’s impressive capabilities. How easy is it to start building in Rust? We’re putting Rust to the test by creating a navigational re-routing system for a M.A.R.S. Rover robot. 📅 Date: Tuesday 8 July 2025 🕓 Time: 16:00 BST / 11:00 EDT 🔗 Register now: bit.ly/4lraHJd #Rustlang #marsrover

Exciting news today for Battery portfolio companies @AdaCoreCompany and @CodeSecure_: the two companies announced a definitive merger agreement, creating a unified company committed to advancing software safety, security and reliability across critical industries. As our General Partner @moradelhafed noted, “This combination of AdaCore and CodeSecure provides companies across critical industries important new tools to manage risks, build mission-critical products and fuel growth.” Learn more about the merger here: bit.ly/43PFnOn

We are delighted to announce our merger with CodeSecure, Inc. Read more here: adacore.com/press/adacore-…

In our new blog, Stephen Hedrick, Product Manager for #Rust explores navigation in difficult environments with a pathfinder for our Mars rover demo.  blog.adacore.com/navigating-mar…

Modern defense depends on software. Yet we continue to accept software that is vulnerable by design. Today we are at @DARPA showcasing our work with #SPARK at the Resilient Software Systems Colloquium. Looking forward to good discussions throughout the day!

High-integrity software tooling experts, @AdaCoreCompany, are delighted to announce the introduction of the Ada and SPARK programming languages into the automotive market. Together with their partner @nvidia, they are set to publish an off-the-shelf reference process, allowing others to follow their lead. elektormagazine.com/news/ada-and-s…

We are thrilled to announce that AdaCore and @nvidia are working together to bring Ada and SPARK into the heart of safety-critical automotive software development. NVIDIA has adopted these languages to support the creation of software components that meet ISO 26262 functional safety standards. This collaboration brings together formally verifiable technologies and industry-leading hardware platforms to help ensure the safety, reliability, and long-term maintainability of next-generation vehicle systems. Read the Press Release: lnkd.in/e8FE8Pbr #ISO26262

Join us for a free webinar introducing SPARK, the industrial-strength language and toolset for formal verification. Discover how SPARK enables: ✅ Modular, scalable proof for embedded and high-integrity systems ✅ Automatic error detection through deductive verification ✅ Real-world assurance – including an example from a M.A.R.S. Rover safety monitor ✅ Future-ready development with applications in Generative AI Whether you’re new to SPARK or exploring formal methods for safety-critical software, this session will give you practical insights into how formal verification works — and why it matters. 📅 Register now → bit.ly/4kiRadK

Can Rust handle the demands of safety-critical, real-time software? Our latest technical paper answers this head-on, with an in-depth analysis of how Rust’s ownership model, borrowing rules, and safe pointers perform under pressure. 🚀 See why more teams are considering Rust for high-assurance systems. Read the paper → bit.ly/3YSysAZ #MissionCritical #RustLang #MemorySafety #SafeSoftware

🔐 Safer software starts with safer languages. In safety-critical systems, there's no room for ambiguity. Discover how Ada’s strong typing, readability, and reliability make it a powerful ally in reducing software-related risk. Explore how Ada helps developers write robust, maintainable code from day one. 📖 Read the blog: blog.adacore.com/safer-with-ada #AdaProgramming

🚀 Ada Ascends into the TIOBE Index Top 15! We are delighted to announce that the Ada programming language has climbed to 15th position in the April 2025 TIOBE Software Index, marking a significant milestone in its ongoing resurgence. This achievement underscores Ada's enduring relevance and the growing recognition of its robustness and reliability in developing high-integrity software systems. The increasing emphasis on software safety and correctness across critical industries further highlights Ada's pivotal role in modern software development. #Ada #TIOBEIndex

We're thrilled to introduce the new math library for Ada: Neo-SIMD. Dive into a realm of enhanced performance and precision. Discover how Neo-SIMD can revolutionize your numerical computations by leveraging state-of-the-art SIMD technology. Whether you're working on high-performance applications or just love efficient coding, this library is for you! Read all about it here: blog.adacore.com/a-new-math-lib…

Join our webinar on the latest GNAT Pro 25 release! Dive into the highlights of new features in the 25.0 release and get a sneak peek at our upcoming roadmap. Learn how these enhancements can elevate your software development with AdaCore. Don't miss out on expert insights and a live Q&A. 📅 Thursday 6th March ⏰15:00 GMT | 16:00 CET | 12:00 ET | 09:00 PT bit.ly/4158nyV

Explore how Ada software ensures interoperability in avionics with FACE® conformance. Our latest blog dives into the verification processes that meet strict technical standards. Discover how AdaCore can support your aerospace projects. lnkd.in/eCuQbkzV