#formal-methods

2 posts

What Specifications Cannot Catch: A Proposed Taxonomy of the Residual

22 March 2026 · 13 min read The Specification as Quality Gate
The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review

22 March 2026 · 32 min read The Specification as Quality Gate