Formal Verification: The Gap Between Perfect Code and Reality (2017)web.archive.org12 pointscharlysl8 years ago