Trusted support for qualifiable, embedded toolchains, and analysis tools spanning legacy to cutting edge and AI powered development.
Headquarters - Paris | NYC
Joined November 2009
- Tweets1.8K
- Following458
- Followers2K
- Likes794
Pinned Tweet
An exciting launch for AdaCore today! A demonstration of trustworthy AI development bit.ly/4yBYUyi
AdaCore | Tools for High-Integrity Development retweeted
The main themes of the day so far at the @HISC_conf are speed and acceleration. How can AI be safely used in a high integrity systems? Recently @AdaCoreCompany released the GNAT Foundry which answers this! adacore.com/blog/gnat-foundr…
AdaCore | Tools for High-Integrity Development retweeted
It's nearly time for the party to start! @HISC_conf - looking forward to a great day with my @AdaCoreCompany team. It looks fabulous here!
AdaCore | Tools for High-Integrity Development retweeted
A new venue for @HISC_conf that takes place tomorrow, it's looking really fantastic. The Vox Birmingham is such a super-bright space with good acoustics, too (which, as a partially deaf person, I really appreciate). Thank you @ZiaBiaEvents :)
AdaCore | Tools for High-Integrity Development retweeted
.@AdaCoreCompany is co-organizer & exhibitor of upcoming #HISC2026 conference
#software @rapitasystems @Capgemini #highreliability
#Europe
militaryembedded.com/avionic…
AdaCore | Tools for High-Integrity Development retweeted
@AdaCoreCompany is attending the High Integrity Software Conference (HISC) 2026 in Birmingham on October 13, where it will exhibit and present a session on agentic AI workflows and software verification for high-integrity systems.
hubs.la/Q04zCMTb0
AdaCore | Tools for High-Integrity Development retweeted
In September, @AdaCoreCompany launched GNAT Foundry which demonstrates our approach, not to treat the AI output itself as trustworthy, but to surround it with deterministic tools that generate independently checkable evidence. Free webinar next week adacore.com/events/demonstra…
AdaCore | Tools for High-Integrity Development retweeted
I'm looking forward to @HISC_conf next week in Birmingham - especially excited for the #AI track
AdaCore | Tools for High-Integrity Development retweeted
The call for papers for Rust Nation UK 2027 is open.
One day, three tracks, 18 February in London. First-time speakers are welcome.
cfp.rustnationuk.com
AdaCore | Tools for High-Integrity Development retweeted
The future of Rust for DO 178C and ISO 26262 - read more from
@AdaCoreCompany here 👌adacore.com/blog/rust-for-do…
AdaCore | Tools for High-Integrity Development retweeted
Renishaw neuro solutions selects CodeSonar static analysis for neurosurgical robot cieonline.co.uk/renishaw-neu…
AdaCore | Tools for High-Integrity Development retweeted
Demonstrating Trustworthy AI Development in High-Integrity Environments - 15th October!
In this webinar, Tony Aiello, Product Manager for SPARK and AI at @AdaCoreCompany will showcase our new demo, GNAT Foundry: Intersection. Book now adacore.com/events/demonstra…
AdaCore | Tools for High-Integrity Development retweeted
Thanks for sharing our news @eeNewsEurope 🤩 @AdaCoreCompany releases GNAT Foundry: Intersection.
Can AI generated code be trusted in safety critical systems? 🔐
AdaCore’s GNAT Foundry takes a different approach to AI assisted development by combining code generation with formal proof, mathematically checking whether the resulting software meets its requirements.
It could offer engineers a way to use AI while maintaining the rigorous verification needed in high assurance applications.
Read more on eeNews Europe:
eenewseurope.com/en/adacore-…
AdaCore | Tools for High-Integrity Development retweeted
Renishaw Neuro Solutions selects CodeSonar static analysis for neurosurgical robot cieonline.co.uk/renishaw-neu…
AdaCore | Tools for High-Integrity Development retweeted
Today, @AdaCoreCompany is pleased to announce that Renishaw Neuro Solutions Ltd has selected CodeSonar®, AdaCore's static analysis tool, to support software development on its neuro | mate® stereotactic robotic delivery platform. adacore.com/press/renishaw-n…
AdaCore | Tools for High-Integrity Development retweeted
Looking into how to develop trustworthy code with AI? @AdaCoreCompany can help. Have you tried our demo GNAT Foundry: Intersection? adacore.com/gnat-foundry-int…
AdaCore | Tools for High-Integrity Development retweeted
@AdaCoreCompany was live @embedded_USA - chatting about AI developed code for high-integrity youtube.com/watch?v=eGWBsElb…
AdaCore | Tools for High-Integrity Development retweeted
Work in High Integrity software? Interested in how to use AI to develop trustworthy code? We can help - join @AdaCoreCompany on 15th October adacore.com/events/demonstra…
AdaCore | Tools for High-Integrity Development retweeted
Introducing a new GNATfuzz development - check out what the @AdaCoreCompany DAS team has been up to....
adacore.com/blog/breaking-th…
AdaCore | Tools for High-Integrity Development retweeted
Thanks for sharing our news, announcing our AI Development workflow @lembarquemedia 🤩lembarque.com/article/adacor…
@AdaCoreCompany
