Checking Correctness Properties of Object-Oriented Programs (Lecture 0)

  • Rustan Leino

EEF summer school on Specification, Refinement, and Verification Turku, Finland |

Published by Microsoft Research

Publication

Download BibTex

Vision

  • Increased programmer productivity and program reliability through increased rigor
  • Record design decisions
  • + Utilize automatic checking
  • = Detect errors and improve maintainability