This is how I have always developed hard-to-make-bug-free software. Write a simulator first that will deterministically give your software the worst possible en

This is how I have always developed hard-to-make-bug-free software. Write a simulator first that will deterministically give your software the worst possible environment to run in with failures happening all the time. I have delivered complicated software into production using this method with zero bugs ever reported. It works brilliantly.