QED at Large: A Survey of Engineering of Formally Verified Software(nowpublishers.com)

7 pointsby taliaringer7 ปีที่แล้ว3 comments

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

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

3 comments

taliaringer7 ปีที่แล้ว

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.

bjz_7 ปีที่แล้ว

Do you have to log in to access the link?

taliaringer7 ปีที่แล้ว

Yes, though it is free to create an account.