“TrustInSoft Analyzer offers a unique level of assurance thanks to its use of robust formal methods. This approach is perfectly complemented by the use of artificial intelligence for analysis and testing. We combine the efficiency of AI with the measurability and precision of formal methods,” said Caroline Guillaume, CEO of TrustInSoft. “Development teams in sectors such as IoT, automotive, and defense will benefit from the ability to scale code verification in C, C++, and Rust more efficiently by combining AI with formal methods.”.
What you can expect in the April 2026 release:
AI-powered test driver and stub generation.
Start with one-click setup to instantly generate context-aware test drivers and stubs using AI. This functionality will dramatically reduce analysis effort while maintaining the consistency and accuracy required for compliance on mission-critical systems.
Graphical interface for Rust support.
Move toward production-ready Rust analysis by integrating all workflows—from setup to root cause investigation and reporting—into an enhanced graphical interface.
MC/DC coverage analysis using formal methods.
Achieve MC/DC coverage compliance through input generalization based on formal methods, significantly reducing verification effort for standards such as ISO 26262.
