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
Contents
- Theory and techniques for building a basic program verifier for an object-based language
- Specification style and encoding thereof