Comment by woodruffw

That's not a dumb question! The accuracy of one's underlying models is an outstanding problem in verification.