{"id":22513,"date":"2026-01-30T15:41:39","date_gmt":"2026-01-30T14:41:39","guid":{"rendered":"https:\/\/www.prover.com\/?page_id=22513"},"modified":"2026-02-26T13:37:43","modified_gmt":"2026-02-26T12:37:43","slug":"prover-diagnostic","status":"publish","type":"page","link":"https:\/\/www.prover.com\/prover-diagnostic\/","title":{"rendered":"Prover Diagnostic"},"content":{"rendered":"

Prover Diagnostic<\/div><\/div>

Hazard-based formal verification that challenges safety mitigations before deployment<\/h1><\/div>

Prover Diagnostic is a packaged, hazard-based formal verification solution that helps identify and eliminate potential safety risks early \u2013 before they become costly or difficult to change.\u2028<\/strong><\/p>\n

Instead of only verifying that requirements are implemented as written, Prover Diagnostic asks a tougher question: Are your mitigations actually sufficient to prevent hazardous states?<\/strong><\/p>\n<\/div>

<\/div><\/div>

At a glance: Inputs and outputs<\/h3><\/div>
  • <\/i><\/span>
    \n

    Inputs<\/strong><\/p>\n

      \n
    • Hazard Log (system hazards and mitigations)<\/li>\n
    • SRACs (safety-related constraints and operational assumptions)<\/li>\n
    • A formal model of the software logic (generated or imported from an existing design)<\/li>\n<\/ul>\n<\/div><\/li>
    • <\/i><\/span>
      \n

      Outputs<\/strong><\/p>\n

        \n
      • Proof results showing hazardous states are unreachable in the formal model, under stated assumptions, or<\/li>\n
      • Clearly reported counterexample scenarios that explain how a hazardous state can be reached<\/li>\n
      • A structured report that can support the Technical Safety Report (TSR) and the Safety Case<\/li>\n<\/ul>\n<\/div><\/li><\/ul>

        Request a proposal (customer-specific scope and pricing)<\/span><\/p><\/h2><\/div><\/div><\/div>
        \"prover<\/span><\/div>

        I\u2019m interested in Prover Diagnostic<\/h4><\/div>

        Start strengthening your safety assurance; fill out the form to learn more.<\/p>\n<\/div>