Software verification enhanced.

The latest release of TrustInSoft's flagship product, TrustInSoft Analyser (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 Analyser 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 can be expected 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 generalisation, drastically reducing verification effort for standards, as for example, ISO 26262.

The release of TrustInSoft Analyser is scheduled for next month (April 2026). Existing customers can access the update via the customer portal.

---

@TrustInSoft @NapierPR #Cybersecurity #ArtificialIntelligence_Ai