I run a company that produces tools for developing and mathematically-verifying safety-critical embedded software. Occasionally, we get asked to verify software that has already passed testing and is considered production-ready. When we do this, the most common problem we find is that for certain combinations of inputs, there is an arithmetic overflow in some calculation. So you are not alone. 