[SystemSafety] Number Theorist Fears All Published Math Is Wrong

Derek M Jones derek at knosof.co.uk
Wed Oct 30 16:03:47 CET 2019


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


More information about the systemsafety mailing list