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 powerful assistant for coding—but at what cost? Variations in quality, the inability to reproduce results, and the human-versus-machine factor introduce a host of still-unknown challenges in the resulting code.
As a result, using AI for verification can feel like an oxymoron, especially when reproducibility is a fundamental requirement of any verification process.
At TrustInSoft, we’ve enabled AI with formal methods—proof-based verification rather than sampling-based analysis—to automate much of the heavy lifting, improve efficiency, and make formal methods scalable across codebases, while maintaining high-quality, repeatable results.
This presentation will explore our approach to bringing TrustInSoft Analyzer into the age of AI, looking at observations, levels of exhaustiveness, and efficiency improvements. It is aimed at embedded managers and engineers who are considering or actively integrating AI into their workflows, but need assurance that the code entering production is sound—in multiple ways.
What You Will Learn:
- How AI is changing the landscape of software verification
- What to be wary of when using AI, and how to keep it in check
- How TrustInSoft can help verify safety- and security-critical software