5 ms·Formal Verification: The Gap Between Perfect Code and Reality (2017)12 points by charlysl 8y agodang 8y agoWhoops, this looks like a dupe of https://news.ycombinator.com/item?id=15999066 https://news.ycombinator.com/item?id=15999066.