4 ms·

You may be interested in a recent survey "QED at Large: A Survey of Engineering of Formally Verified Software" https://www.nowpublishers.com/article/Details/PGL

You may be interested in a recent survey "QED at Large: A Survey of Engineering of Formally Verified Software" https://www.nowpublishers.com/article/Details/PGL-045 https://www.nowpublishers.com/article/Details/PGL-045 (have to sign up for a free account to access :\ )

wuschel 7y ago
Hi, signed up for a free account, but access was not granted. Email is in my profile, if you would be so kind to help.