Writing code is cheap, but getting it right is expensive. Every means of ensuring code correctness has significant drawbacks:
This is a companion discussion topic for the original entry at https://www.doliver.org//articles/confidence-by-any-means-available