TrustInSoft Updated Formal Analysis With AI Automation
The latest release automates code verification setup, aiming to accelerate safety-critical software certification.
Updated on Oct. 13, 2026 in Software
Live Poll
Do you believe AI-assisted tools improve software development efficiency?
TrustInSoft has released version 26.10 of its TrustInSoft Analyzer, introducing AI-assisted automation to configure formal analysis campaigns. This software update is now available for verifying C, C++, and Rust codebases.
Why it matters
By automating the preparation and configuration of formal analysis, this update aims to reduce the engineering effort required to verify software for safety-critical standards like ISO 26262 ASIL D.
TrustInSoft Analyzer version 26.10 now features an AI coding agent that automates the setup for formal analysis. The tool provides mathematical guarantees by exploring all possible behaviors within defined scopes to identify coverage gaps for C, C++, and Rust.
The players
TrustInSoft
A developer of formal methods-based software analysis tools that provide mathematical guarantees for safety-critical C, C++, and Rust codebases.
The details
The tool uses formal methods — a set of mathematical techniques for verifying that software performs as intended — to exhaustively explore possible code execution paths. An AI-assisted agent handles the complex configuration steps required to set up an analysis campaign, which previously required significant manual intervention. It also includes Modified Condition/Decision Coverage (MC/DC) capabilities to generate the specific documentation required for safety certifications like ISO 26262 ASIL D, which applies to high-risk automotive systems.
Timeline
October 13, 2026: TrustInSoft announced the release of version 26.10.
The Tech Race
The update follows the stringent documentation requirements established by ISO 26262 ASIL D, extending the automation capabilities available for developers working under these safety mandates. It competes directly with traditional, manually intensive verification workflows in the automotive and aerospace software sectors.
Engineering teams working on safety-critical systems can integrate this version immediately to automate verification workflows for C, C++, and Rust. The tool specifically targets those managing certification-oriented reporting requirements.
The takeaway
This release signals a broader industry shift toward using AI to handle the labor-intensive configuration of formal analysis tools. Watch for future benchmarks demonstrating how much the AI-agent reduces the time required for full MC/DC compliance reporting.
Further reading
Explore the latest developments in formal verification and automated testing in our Software section.
More information
Find technical documentation and release notes on the TrustInSoft official website.
Source note: This article includes information reported by Embedded Computing Design.
Live Poll
Do you believe AI-assisted tools improve software development efficiency?
