Specification and Verification of Programs with Pointers (Part 0)

  • Rustan Leino

Summer School on Logic and Theorem-Proving in Programming Languages, Eugene, OR |

Published by Microsoft Research

Download BibTex

Contents

  • Theory and techniques for building a basic program verifier for an object-based language
  • Specification style and encoding thereof