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

1.7K posts

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

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

@AdaCoreCompany

AdaCore helps people build safe, secure and reliable software.

Headquarters - Paris | NYC Katılım Kasım 2009
456 Takip Edilen2K Takipçiler
Sabitlenmiş Tweet
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
English
1
1
9
876
AdaCore | Ada/C/C++ tools for critical software
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
AdaCore | Ada/C/C++ tools for critical software tweet mediaAdaCore | Ada/C/C++ tools for critical software tweet media
English
0
0
1
185
AdaCore | Ada/C/C++ tools for critical software retweetledi
𝗤𝗨𝗔𝗡𝗧𝗨𝗠 𝗧𝗲𝗰𝗵𝗻𝗼𝗹𝗼𝗴𝘆 𝗧𝗿𝗮𝗻𝘀𝗳𝗲𝗿 𝗖𝗼𝗿𝗽𝗼𝗿𝗮𝘁𝗶𝗼𝗻
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
𝗤𝗨𝗔𝗡𝗧𝗨𝗠 𝗧𝗲𝗰𝗵𝗻𝗼𝗹𝗼𝗴𝘆 𝗧𝗿𝗮𝗻𝘀𝗳𝗲𝗿 𝗖𝗼𝗿𝗽𝗼𝗿𝗮𝘁𝗶𝗼𝗻 tweet media
Polski
0
1
4
131
AdaCore | Ada/C/C++ tools for critical software
🚀 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
AdaCore | Ada/C/C++ tools for critical software tweet media
English
0
0
5
3.4K
AdaCore | Ada/C/C++ tools for critical software retweetledi
Battery Ventures
Battery Ventures@BatteryVentures·
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
Battery Ventures tweet media
English
0
1
4
1.1K
AdaCore | Ada/C/C++ tools for critical software
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!
English
0
0
2
154
AdaCore | Ada/C/C++ tools for critical software retweetledi
Elektor
Elektor@Elektor·
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…
Elektor tweet media
English
0
3
9
882
AdaCore | Ada/C/C++ tools for critical software
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
English
0
3
12
330
AdaCore | Ada/C/C++ tools for critical software
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
AdaCore | Ada/C/C++ tools for critical software tweet media
English
0
1
3
200
AdaCore | Ada/C/C++ tools for critical software
🔐 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
AdaCore | Ada/C/C++ tools for critical software tweet media
English
0
1
12
342
AdaCore | Ada/C/C++ tools for critical software
🚀 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
AdaCore | Ada/C/C++ tools for critical software tweet media
English
2
4
18
544
AdaCore | Ada/C/C++ tools for critical software
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…
AdaCore | Ada/C/C++ tools for critical software tweet media
English
0
1
11
299
AdaCore | Ada/C/C++ tools for critical software
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
AdaCore | Ada/C/C++ tools for critical software tweet media
English
0
0
3
157
AdaCore | Ada/C/C++ tools for critical software
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
AdaCore | Ada/C/C++ tools for critical software tweet media
English
0
1
3
182