[SystemSafety] Practical problems using coq for formal verification

Peter Bernard Ladkin ladkin at causalis.com
Wed Dec 27 17:44:19 CET 2017


> On 2017-12-27 14:56 , Derek M Jones wrote:
>> https://raywang.tech/2017/12/20/Formal-Verification:-The-Gap-between-Perfect-Code-and-Reality/

BTW, just noticed some fairly dense commentary with some very good points from "Nick P", who might
well be this guy here: http://www.nick-p.info

PBL

Prof. Peter Bernard Ladkin, Bielefeld, Germany
MoreInCommon
Je suis Charlie
Tel+msg +49 (0)521 880 7319  www.rvs-bi.de





-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20171227/3325b13b/attachment.sig>


More information about the systemsafety mailing list