Skip to content

Formal verification for policy module: 2 bugs fixed, 44 Z3 proofs, 100% MC/DC #3039

Formal verification for policy module: 2 bugs fixed, 44 Z3 proofs, 100% MC/DC

Formal verification for policy module: 2 bugs fixed, 44 Z3 proofs, 100% MC/DC #3039

Annotations

2 errors and 2 warnings

validate

failed Apr 20, 2026 in 33s