A Foundation for Verifying Concurrent Programs (Lecture 0)

  • Rustan Leino ,
  • Peter Müller ,
  • Jan Smans

FOSAD 2009, Bertinoro, Italy |

Published by Microsoft Research

PDF

下载 BibTex

Program verification

  • Prove program correctness for all possible inputs and behaviors