[SystemSafety] Number Theorist Fears All Published Math Is Wrong

[Derek M Jones]

Gergely,

> for non-malicious, even correct compilers check CompCert and CakeML.

Any discussion of formal methods eventually mentions soap
powder advertising:
http://shape-of-code.coding-guidelines.com/2013/03/10/verified-compilers-and-soap-powder-advertising/


-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com