TrustInSoft Announces April 2026 Release of TrustInSoft Analyzer with AI Powered Verification Enhancements

Paris, France — April 2026 — TrustInSoft, a leading provider of mathematically proven software verification solutions, today announced the April 2026 release of TrustInSoft Analyzer (TISA), introducing enhancements designed to improve productivity for mission-critical and safety‑critical software development.  

This release adds AI powered test driver and stub generation, enhanced MC/DC coverage analysis based on formal methods, and expanded Rust support through an improved graphical user interface, supporting broader adoption of rigorous formal verification across development teams and platforms. 

“TrustInSoft Analyzer delivers a unique level of guarantees through the use of sound formal methods, and this approach aligns naturally with AI,” said Caroline Guillaume, CEO of TrustInSoft. “By combining the efficiency of AI with the measurability and accuracy of formal methods, development teams in IoT, automotive, aeronautics and defense can scale C, C++, and Rust code assurance while maintaining the confidence required for mission and safety‑critical software.” 

AI Assisted Verification with Mathematical Guarantees 

The April 2026 release reflects TrustInSoft’s ongoing focus on trusted AI assisted verification, enabling teams to reduce manual effort while preserving determinism, measurability, and compliance with industry standards. 

This approach is already delivering value for organizations integrating AI into complex embedded software environments. 

“By integrating TrustInSoft Analyzer into our software verification process, we are able not only to significantly accelerate our AI integrated processes, but we also have full confidence in the results thanks to the guarantees of soundness and reliability of the analyzed code,” said Gaetano Scognamiglio, VP of IoT Modules R&D at Telit Cinterion. 

Key Highlights of the April 2026 Release 

AI‑Powered Test Driver and Stub Generation 
Context‑aware test drivers and stubs can now be generated automatically using AI, reducing analysis setup effort while preserving the rigor required for mission and safety‑critical certification verification. 

Rust Support Through an Integrated Graphical Interface 
Rust analysis workflows — from project setup to root cause investigation and reporting — are fully integrated into the TrustInSoft Analyzer GUI, supporting production grade Rust verification using formal methods. 

MC/DC Coverage Analysis Using Formal Methods 
The release enables MC/DC coverage compliance through formal methods-based input generalization, reducing verification effort for standards such as ISO 26262. 

Available Now 

The April 2026 release of TrustInSoft Analyzer is available now. Existing customers can access the update through the TrustInSoft customer portal. 

To learn more or to schedule a demo, visit www.trust-in-soft.com.