DOI: 10.1145/3819084 ISSN: 1542-7730
You Don’t Know Jack About Formal Verification
Fernanda Graciolli, Nada AminThe cost and tooling of formal verification have reached the point of widespread use. By eliminating the cost of writing proofs, AI is removing the biggest barrier to formal verification. This makes it easier than ever to build software with critical business rules that are guaranteed to be mathematically correct, rather than merely tested.