>* Formal verification, which is very widely used in hardware and barely used in software (not software's fault really - there are good reasons for it).

When developing with C, model checking or at least fuzzing is practically mandatory, otherwise it is negligent.