TrustInSoft

06/10/2026

Passing tests doesn’t prove that code is free of the errors you didn’t think to test for.

As AI accelerates software development, teams need verification that can scale with the growing volume of code.

🔎 Our new white paper explores how AI-assisted formal verification can deliver exhaustive analysis without adding the traditional burden of formal methods.

Read the white paper here: https://zurl.co/XiD2E

02/10/2026

The TrustInSoft team has been busy this month! Swipe to see where we've been. 👀

If you didn't have the chance to connect with us at these events, contact our team for a demo: https://zurl.co/tDGpI

30/09/2026

AI can write the code. Can it prove the code is safe?

Discover how combining AI with formal verification can help engineers go beyond testing and AI-based code review to identify bugs that traditional approaches can miss and build greater confidence in what ships.

Read our latest white paper: https://zurl.co/0SI3I

29/09/2026

Last week our US team attended Embedded World NA 2026!

Some highlights from the show floor:

🍊 TrustInSoft Analyzer winning Embedded Computing Design's Best in Show for the Dev Tools, Software & OS category
🍊 Announcing TrustInSoft Analyzer's latest release coming in October, featuring AI-assisted analysis and full MC/DC coverage
🍊 Speaking on the show floor at the Exhibitor Forum
🍊 Plenty of great conversations and demos at the booth
🍊 As always, handing out our signature socks 😉

Missed us at the event? Contact our team to book a demo: https://zurl.co/cx8yq

25/09/2026

AI can generate code faster than ever. But faster code doesn’t necessarily mean safer code.

So, how do you verify software when AI is part of the development process?

At Safety AD, Rolland Dudemaine will discuss how proof-based verification can help bring greater efficiency and scalability to software verification while maintaining repeatable, high-quality results.

Join our solution session, “Trust, But Verify: Embedded Software Verification in the AI Era” on September 28 in Munich to learn more.

Book a meeting with the team onsite: https://zurl.co/68mta

25/09/2026

AI can generate code faster than ever. But faster code doesn’t necessarily mean safer code.

So, how do you verify software when AI is part of the development process?

At Safety AD, Rolland Dudemaine will discuss how proof-based verification can help bring greater efficiency and scalability to software verification while maintaining repeatable, high-quality results.

Join our solution session, “Trust, But Verify: Embedded Software Verification in the AI Era” on September 28 in Munich to learn more.

Book a meeting with the team onsite: https://zurl.co/qIDnw

22/09/2026

PRESS RELEASE: TrustInSoft Revolutionizes Formal Methods with AI – assisted automation in October 2026 Release

“With TISA 26.10, we combine the power of AI automation with the rigor of formal verification to make exhaustive software verification faster and easier to deploy at scale..." - Caroline Guillaume, CEO of TrustInSoft

Read more: https://zurl.co/kxn3k

TrustInSoft announces Analyzer 26.10, combining AI-assisted automation with formal verification to accelerate exhaustive C, C++ and Rust analysis and streamline MC/DC coverage.

21/09/2026

🆕 JUST RELEASED! 🆕

Our new white paper explores how AI-assisted formal verification can help teams go beyond testing and AI code review to find bugs, reduce false positives, and verify C, C++, and Rust code with mathematical guarantees.

We explore:
🔒 The growing risk surface created by AI-generated code
🔒 Why testing and AI review can only examine what they are designed to check
🔒 How abstract interpretation analyzes possible executions rather than a sample of inputs
🔒 How AI can reduce the specialized effort traditionally required for formal verification
🔒 What exhaustive verification can mean for software quality, security, and compliance

Read now: https://zurl.co/sj3Jy

18/09/2026

This week, our team had the opportunity to attend, sponsor & speak at Oxidize in Berlin! 🦀

Thanks to KDAB and our partners Ferrous Systems for hosting us and bringing the Rust community together.

🧠 We explored what’s left to find in Rust: how the compiler, Clippy, and Miri provide strong foundations but aren’t exhaustive, and how TrustInSoft Analyzer can complement these tools to uncover additional bugs in production Rust code, (replay coming soon!)

If you're curious to learn more about what our tool can uncover in your code, contact us anytime: https://zurl.co/YcIIC

16/09/2026

Find all runtime errors. Cut the false positives.

Meet us at Embedded World North America next week to see how TrustInSoft Analyzer goes beyond traditional testing to exhaustively analyze embedded software and uncover runtime errors before they reach production.

📍 Booth 5602
📅 September 22-24

Come see a live demo and talk to our onsite experts about your specific projects.

Book a demo in advance: https://zurl.co/Ig5Lj

Book a meeting with TrustInSoft experts at Embedded World North America, 22 - 24 September, 2026.