2 ms·

But most software is not on flights, pacemakers or space missions (or equivalent).

• joe_the_user 8y ago
  Indeed, under those circumstances, yeah formal and semi-formal methods get used. But since these circumstance aren't common [goto: very eloquent GP].
• Tempacc78534 8y ago
  It's a cost benefit analysis, if the failure costs you more than verifying it then you will verify it. Since cost of verification is currently high, if you are not losing millions due to failure it doesn't make sense to verify your code. Look at fuzzing. No one did fuzzing a decade ago. Since fuzzing became cheap (i.e. due to cheap compute and somewhat due to cloud computing) everyone does fuzzing on pieces of code which remotely appear to be critical. Even testing. When cost of running a program was high people didn't write test cases. They hand checked programs for bugs.