Yep, though of course it's still on you to remember to verify everything you care about. Actually writing out all your requirements in a formal (or just program

Yep, though of course it's still on you to remember to verify everything you care about. Actually writing out all your requirements in a formal (or just programming) language is the hard part of programming.