Interesting work. I don&#x27;t remember who said that &quot;formal verification is the way of the future... and it&#x27;s going to stay that way!&quot;<p>Quite strange that the article doesn&#x27;t mention CompCert though, which has an extensive bibliography:<p><a href="http:&#x2F;&#x2F;compcert.inria.fr&#x2F;publi.html" rel="nofollow">http:&#x2F;&#x2F;compcert.inria.fr&#x2F;publi.html</a><p>Edit: The person I quote is a researcher in formal verification, I think it&#x27;s Gérard Huet from Inria.