TrustInSoft Extends Formal Verification to Rust and Real-Time Systems

Formal Verification's Value Grows

Experts at the table: Semiconductor Engineering sat down to discuss why formal verification is becoming more important, with Ashish Darbari, CEO for Axiomise; Jin Zhang, product management group director for the Verification Group at Cadence; Sean Safarpour, executive director for R&D at Synopsys; and Jeremy Levitt, principal engineer for Digital Verification Technology at Siemens EDA. What follows are excerpts from that discussion. Part 1 of th…

TrustInSoft Extends Formal Verification to Rust and Real-Time Systems

PARIS, France – November 4, 2025 – TrustInSoft, a pioneer in exhaustive static code analysis, today announced the availability of TrustInSoft Analyzer 2025.10, the latest release of our formal verification toolchain. The update introduces comprehensive Rust analysis capabilities for detecting undefined and unwanted behaviors and delivers an improved multithreading experience. It enables development teams working with Rust or mixed-language codeb…