Safety AD EU 2026

Meet TrustInSoft at Safety AD EU 2026

Get ready for Safety AD 2025 in Munich, Germany at the Holiday Inn Munich City Center September 28 – 39, 2026!

Solutions Study: Trust, But Verify: Embedded Software Verification in the AI Era

Join Solutions Engineer Rolland Dudemaine Monday September 28th 12:25 AM - 12:55 PM.

AI has become a usable assistant for coding – but at what cost? Variations in quality, the inability to reproduce results, and the human vs. machine factor leading to a host of still unknown challenges in the resulting code.

As a result, verification using AI can consequently feel like an oxymoron – especially since a base property requested from any verification is reproducibility.

However, at TrustInSoft, we’ve enabled AI with formal methods to automate a lot of the heavy lifting, improve efficiency and enable scalability in deploying formal methods to any codebase – all while keeping high-quality results that can be repeated.

This presentation will explain our approach to bringing TrustInSoft Analyzer into the age of AI. We’ll look at observations, levels of exhaustiveness, and efficiency of improvement. This talk is for any embedded manager or engineer considering or actively integrating AI into their workflow – but are looking for assurance that the code entering your production line is sound – in multiple ways.