無知ですまんが、そういうのってプログラムにミスがないことの証明ってどんな感じでやるの?
ついでに言うとCPUにバグがないかどうかとかさ