AdaCore | Tools for High-Integrity Development

Trusted support for qualifiable, embedded toolchains, and analysis tools spanning legacy to cutting edge and AI powered development.

[AdaCore | Tools for High-Integrity Development @AdaCoreCompany]

An exciting launch for AdaCore today! A demonstration of trustworthy AI development https://t.co/iG2P3S94sb

[Andrea Bristol FCIM @ASextonPR]

The adoption of #formalmethods is a question many engineering leaders are weighing, and today's announcement from @AdaCoreCompany and @cimarroninc offers a practical example: https://t.co/weLN0eW9Qf

[CyLab @CyLab]

.@CyLab faculty member Bryan Parno, co-developer of Verus, is collaborating w/ @AdaCoreCompany to advance the development of safer, more reliable software.

Read more about how this collab will help strengthen software security in critical industries: https://t.co/ycKhTogYDe

[AdaCore | Tools for High-Integrity Development @AdaCoreCompany]

@theconsensusdev @infisical @Astranis Thanks for sharing!

[Andrea Bristol FCIM @ASextonPR]

We need to get better and better at defending our codebases. CodeSonar for Ada (formerly GNAT SAS) can be a huge help for securing software as its SAST (Static Application Security Testing) features, such as Taint Analysis https://t.co/B2xY83Blbv
@AdaCoreCompany

[Andrea Bristol FCIM @ASextonPR]

Are you finding joy with AI development? Check out the new @AdaCoreCompany blog to discover how one of our engineers has been experimenting by using AI models with Ada and SPARK. https://t.co/c4WlYWZw1A

[Andrea Bristol FCIM @ASextonPR]

@AdaCoreCompany is incredibly proud of our talented interns, and this blog post comes from #SPARK Team Intern Tom.
https://t.co/DcmRhiRGrm

[Andrea Bristol FCIM @ASextonPR]

Thanks for writing about the @AdaCoreCompany and their stance on AI development @WevolverApp https://t.co/KMsjLoass2

[Embedded Computing Design @embedded_comp]

Sponsored - Embedded Executive LIVE at embedded world North America: AdaCore

Rich Nass and Mark Hermeling of @AdaCoreCompany talk tech at @embedded_USA 2026. #ewna #AI
https://t.co/8wq33IQxPo

[Andrea Bristol FCIM @ASextonPR]

Preparing for the #CRA? Start with your engineers. The CRA asks whether your team applies secure development consistently, not whether a policy exists. Read the new blog from @AdaCoreCompany https://t.co/K2iFEvIUuM

[Andrea Bristol FCIM @ASextonPR]

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! https://t.co/F2LKONmO2C

[Andrea Bristol FCIM @ASextonPR]

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!

[Andrea Bristol FCIM @ASextonPR]

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 :)

[Military Embedded @military_cots]

.@AdaCoreCompany is co-organizer & exhibitor of upcoming #HISC2026 conference
#software @rapitasystems @Capgemini #highreliability
#Europe
https://t.co/vjQNOe4cVM

[Unmanned Systems Technology @UnmannedSystem]

@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.
https://t.co/Bzn5Xf5f2b

[Andrea Bristol FCIM @ASextonPR]

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 https://t.co/WQfrLLwAr3

[Andrea Bristol FCIM @ASextonPR]

I'm looking forward to @HISC_conf next week in Birmingham - especially excited for the #AI track

[Rust Nation UK 🦀 @RustNationUK]

The call for papers for Rust Nation UK 2027 is open.

One day, three tracks, 18 February in London. First-time speakers are welcome.

https://t.co/t4N1gB61HQ

[Andrea Bristol FCIM @ASextonPR]

The future of Rust for DO 178C and ISO 26262 - read more from
@AdaCoreCompany here 👌https://t.co/ZhkFv1DrSR

[AdaCore | Tools for High-Integrity Development @AdaCoreCompany]

@CIE_Magazine Thanks for the share of this news - very exciting project!

[CIE Magazine @CIE_Magazine]

Renishaw neuro solutions selects CodeSonar static analysis for neurosurgical robot https://t.co/34Xcu1nL1l