Get the latest tech news

Verification-First Development

Or: why test-first development is not the same as test-driven development

Oftentimes we can't make the verification until the code is partially complete. It's easier to make sure a verifier works properly if we start by running it on code we know doesn't pass it. Any specific form of verification exerts a pressure on our code to make it easier to verify with that method.

Get the Android app