#model-checking_

Writing

Formal verification in practice: what to prove and how far to goA ladder from stronger types to full proofs, with what each rung catches, what it costs and how well AI agents handle it: how to choose what to prove, write specs, prove a model or the code, keep proofs working in CI, and use agents without trusting them for the spec. Every rule is graded by its evidence.Article6 November 2026