Drive tests from verification and compare coverage

Verification-driven testing focuses your test effort where the formal analysis found risk. Quick Compare then closes the loop, measuring how well your scenario library actually covers those formal findings.

Connect Formal Verification to Scenario Generation to narrow the visible scenarios down to the verification-relevant ones. Add Quick Compare on top — wiring in both Formal Verification and Scenario Generation — to see the overlap between them. In the example it reports 9 formal flags, 2 inconsistencies, and 11% overlap, so any uncovered formal finding becomes a clear backlog item.

Quick Compare showing the overlap between formal flags and scenario inconsistencies — Quick Compare measures how well your tests cover the formal evidence.

Steps and outcomes

Action	Expected output	Customer value
Connect Formal Verification to Scenario Generation	The example narrows visible verification-relevant scenarios.	Testing is focused on confirmed policy risk.
Connect Formal Verification and Scenario Generation to Quick Compare	The example shows 9 formal flags, 2 inconsistencies, and 11% overlap.	Teams see whether tests cover the formal evidence.
Use overlap results to refine test selection	Uncovered formal findings become backlog items.	The team closes gaps between analysis and testing.