Back to blog
Browse by tag
formal-verification
2 posts
Cedar Verifies Who Can Access What. Who Verifies What Decision Gets Made?
Cedar brought formal verification to authorization policy with Lean and automated reasoning. No commercial rule engine has done the same for business decisions. Why proving things about pricing, eligibility, and fraud rules is the harder problem, and where LexQ actually stands on it.
August 7, 202610 min read
Why Business Decisions Need Formal Verification
Tests and simulation answer what happened on inputs you already have. They cannot answer what happens on inputs nobody has sent yet. Unreachable rules, silent conflicts, and uncovered gaps live in that difference, and closing it takes proof, not sampling.
August 7, 202610 min read