QED at Large: A Survey of Engineering of Formally Verified Software

Posted by taliaringer on Wednesday September 04, 2019 @01:20PM
from the nowpublishers.com dept.

https://www.nowpublishers.com/article/Details/PGL-045

( 3 comments | 7 points | on HN )

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 ]