News for hackers. Stuff that matters.

A comment on QED at Large: A Survey of Engineering of Formally Verified Software.

Re:QED at Large: A Survey of Engineering of Formally Verifie... by taliaringer on Wednesday September 04, 2019 @01:40PM (#20879554)
There is a free download available for this paper available from the publisher at that link until September 10th. A lot of folks I have spoken to have missed this when looking at the website.

This was a 2+ year collaboration spanning four different universities, with input from experts all over the world. We hope it is useful to others.

[ Parent | on HN ]
Re:QED at Large: A Survey of Engineering of Formally Verifie... by bjz_ on Saturday September 07, 2019 @08:55AM (#20903472)
Do you have to log in to access the link?
[ Parent | on HN ]
Re:QED at Large: A Survey of Engineering of Formally Verifie... by taliaringer on Saturday September 07, 2019 @06:59PM (#20907228)
Yes, though it is free to create an account.
[ Parent | on HN ]