Skip to main content

Filed under

Formal Verification

1 entry

  1. Security·7 min read·

    You Can't Prove the Agent. Prove the Gate.

    Formal verification for AI-agent security. You can't prove a probabilistic model does the right thing — but the deterministic gate in front of it is small enough to prove outright. Dafny proofs, a Rego twin, and differential testing, following the method AWS used for Cedar.