Powered by
5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2016),
January 18–19, 2016,
St. Petersburg, FL, USA
Frontmatter
Keynotes
Verifying Imperative Programs
Design and Implementation of Theorem Provers
The Vampire and the FOOL
Evgenii Kotelnikov, Laura Kovács, Giles Reger, and Andrei Voronkov
(Chalmers University of Technology, Sweden; University of Manchester, UK; EasyChair, UK)
Info
Mathematics
Foundations
Verification for Concurrent and Distributed Systems
Compiler Verification
proc time: 0.67