TrustInSoft announces AI-powered advancements in April 2026 release

 

TrustInSoft, a provider of mathematically proven software verification solutions, has announced the latest release of its flagship product, TrustInSoft Analyzer (TISA), featuring major enhancements that increase the ease of use with AI-powered stub and driver generation, streamlined deployment across platforms and enhanced MC/DC coverage analysis using formal methods.

“TrustInSoft Analyzer brings a unique level of guarantees thanks to the use of sound formal methods. This approach marries perfectly with the use of AI for analysis and testing. We combine the efficiency of AI with the measurability and accuracy of formal methods,” said Caroline Guillaume, CEO of TrustInSoft. “Development teams from IoT, automotive, and defense will benefit from the ability to scale their C, C++ and Rust code assurance more effectively by combining the efficiency of AI and formal methods.”

What you can expect in the April 2026 release:

AI-Powered Test Driver and Stub Generation

Get started with one-click setup to generate context-aware stubs and test drivers instantly with AI. This feature will dramatically reduce analysis effort while maintaining the consistency and accuracy required for safety-critical compliance.

Rust Support Graphical User Interface

Advance toward production-grade Rust analysis with the integration of all workflows, from setup to root cause investigation and reporting in the improved GUI.

MC/DC Coverage Analysis Using Formal Methods

Achieve the unique result of MC/DC coverage compliance thanks to formal methods-based inputs generalization, drastically reducing verification effort for standards, as for example, ISO 26262.

Availability

The April 2026 release of TrustInSoft Analyzer will be available next month. Existing customers can access the update via the customer portal.

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

For more news please visit: News – CIE