Email Gateway (Aug 22 2022 at 20:31): Email Gateway (Aug 22 2022 at 20:31):From: Talia Ringer <tringer@cs.washington.edu>
Hi all,
We are happy to announce the publication (on September 3, 2019) of an
extensive survey of the scientific literature on proof engineering for
software systems using proof assistants:
Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, and Zachary
Tatlock. QED at Large: A Survey of Engineering of Formally Verified
Software. <https://www.nowpublishers.com/article/Details/PGL-045>
Foundations and Trends in Programming Languages (FTPL), Vol. 5: No. 2-3, pp
102-281, September 2019.
The article is available for free download at the URL above until around
September 10, 2019.
Many of you helped us ensure adequate and accurate coverage of Isabelle for
this survey. Most of the authors are coming from the Coq community, so this
help was crucial. We hope that this helps the community in return. We
appreciate your help, and we welcome further feedback.
If you find any errors not already documented in our errata
<https://proofengineering.org/qed_errata.html>, please report them as a
GitHub issue
<https://github.com/proofengineering/proofengineering.github.io/issues>.
Omissions are also welcome, as are questions about confusing text.
And of course, thank you to everyone who helped make this possible.
Talia, Karl, Ilya, Milos, and Zach
Email Gateway (Aug 22 2022 at 20:31):From: "C. Diekmann" <diekmann@in.tum.de>
Is a personal copy of the authors' preprint hosted somewhere without
paywall or loginwall?
Email Gateway (Aug 22 2022 at 20:31):From: Talia Ringer <tringer@cs.washington.edu>
There is a copy with a loginwall, and no paywall until tomorrow. There will
be a delay before we post our own copy anywhere to respect the publisher's
processes, so we recommend downloading the free copy while it is available
if you are not subscribed to FTPL. After that, for a few months, the only
legal option to get a free copy will be to contact us personally and ask.
Last updated: Apr 19 2024 at 20:15 UTC