


default search action
LASER Summer School 2011
- Bertrand Meyer, Martin Nordio:
Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures. Lecture Notes in Computer Science 7682, Springer 2012, ISBN 978-3-642-35745-9 - Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani:
Model Checking and the State Explosion Problem. 1-30 - Patrice Godefroid, Shuvendu K. Lahiri:
From Program to Logic: An Introduction. 31-44 - Christine Paulin-Mohring:
Introduction to the Coq Proof-Assistant for Practical Software Verification. 45-95 - César A. Muñoz, Ramiro A. Demasi:
Advanced Theorem Proving Techniques in PVS and Applications. 96-132 - Julian Tschannen, Carlo Alberto Furia, Martin Nordio, Bertrand Meyer:
Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach. 133-155 - Luke Herbert, K. Rustan M. Leino, Jose Quaresma:
Using Dafny, an Automatic Program Verifier. 156-181

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.