No One Peer-Reviews Scientific Software 17 years ago
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.