One more thing: If you ever decide on to do formal verification of your code, getting it into shape will probably take as much as the verification itself. Bei

One more thing: If you ever decide on to do formal verification of your code, getting it into shape will probably take as much as the verification itself. Being super-duper strict from day 1 of the project makes it so much easier.