Run formal verification

Formal Verification checks your authorization constraints against the system model recovered in the IR. It replaces manual policy review with explicit, repeatable evidence about whether your access rules actually hold.

Connect an IR Card to Formal Verification so the checker receives structured architecture and endpoint data, then run it. The card reports its verification status and makes the results available to Verification Visualization, where you can inspect findings as a list or as a 3D graph — using the same evidence that drives the architecture views.

The Formal Verification card consuming an IR Card and reporting verification status — Formal Verification consumes the IR and produces repeatable results.

Steps and outcomes

Action	Expected output	Customer value
Connect IR Card to Formal Verification	Verification receives structured architecture and endpoint data.	Policy checks use the same evidence as architecture views.
Run verification	The card reports verification status and result availability.	Security findings become repeatable.
Open Verification Visualization	Users can inspect list view or 3D graph analysis.	Findings become explainable to engineers and auditors.