TrustInSoft introduced TrustInSoft Analyzer (TISA) 26.10, which expands AI-assisted automation to reduce engineering effort needed to set up formal analysis. When combined with enhanced MC/DC (Modified Condition/Decision Coverage) capabilities allows safety-critical software teams to reach full coverage in fewer steps.
