Specification and Verification of Object-Oriented Software (Part 4)

  • 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