Such code should have tests, analysis, and documentation that ought to go a long way towards proving it correct in the time required to transmit data. If they can't produce THAT then they shouldn't use it in a court of law at all.