A complete proof of correctness might be a bit much to ask, but slightly more burden of proof than "it's what the computer says" would be nice. Every piece of software of any meaningful size has bugs. First check if the discrepancy might be the result of a bug before you start sending people to prison.