Twitxy
Saved
@AdaCoreCompany's profile picture
View on X

AdaCore | Tools for High-Integrity Development

Verified account This account is verified. Learn more

@AdaCoreCompany

Trusted support for qualifiable, embedded toolchains, and analysis tools spanning legacy to cutting edge and AI powered development.
Headquarters - Paris | NYC adacore.com Joined November 2009
474 Following 2K Followers 1.8K Posts

Latest posts 5

Pinned post

AdaCore | Tools for High-Integrity Development Verified account @AdaCoreCompany
An exciting launch for AdaCore today! A demonstration of trustworthy AI development bit.ly/4yBYUyi
www.adacore.com AdaCore Releases Demonstrator for Trustworthy Development… | AdaCore AdaCore today released GNAT Foundry: Intersection, an open-source demonstrator of how human engineers can collaborate with AI to deliver high-integrity…
AdaCore | Tools for High-Integrity Development Verified account @AdaCoreCompany
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 | Tools for High-Integrity Development Verified account @AdaCoreCompany
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
AdaCore | Tools for High-Integrity Development Verified account @AdaCoreCompany
🚀 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