[fuklief]

In my field, we use this kind of example to tell people that testing sucks or is not enough and that we need to formally/mathematically prove that software is free of bugs for critical systems.

[nugator]

What field is that and how do you achive that?

[throwaway5752]

What you described is testing.