Specification and Verification of Object-Oriented Software (Part 2)
- Rustan Leino
International Summer School Marktoberdorf, Marktoberdorf, Germany |
Published by Microsoft Research
Contents
- Theory and techniques for building a basic program verifier for a language with references to dynamically allocated objects
- A specification style and encoding thereof