[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