You can't verify software is correct, it can always fail at time t+1.

Basic configuration testing on PPC or other architectures would highlight a lot of the error-sensitive paths in the math libraries.