[SystemSafety] Number Theorist Fears All Published Math Is Wrong
Gergely Buday
gbuday at gmail.com
Thu Oct 31 06:40:30 CET 2019
Derek,
what do you offer than as an alternative?
- Gergely
Derek M Jones <derek at knosof.co.uk> ezt írta (időpont: 2019. okt. 30., Sze
22:00):
> 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
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription:
> https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20191031/4477a9d7/attachment.html>
More information about the systemsafety
mailing list