VERIFICATION-FIRST DEVELOPMENT

Summary from the TLDR Web Dev newsletter

Verification-First Development (VFD) involves establishing a method of verifying code correctness before writing the code itself, using tests, type invariants, or formal models. The benefits of VFD include preventing skipped verification, double-checking verifier functionality, and detecting errors early. However, VFD can slow down development, and exert pressure on code design to follow the chosen verification method.