Software engineering is more like witch-doctoring than to civil engineering. It is not remotely price-efficient to prove completeness on programs.

If you expect your doctor's software to be perfect, be prepared to pay for 2 software engineers salaries per doctor.