Hacker News Reader

When you design hardware you need to take into account all possible input and output values. This shall be done also for SW but ...

that's we use formal verification or formal contracts, not just test driven development. do we, or am I alone on this?

Are you even doing it for all your code ... come on be honest ;)