A Foundation for Verifying Concurrent Programs (Lecture 1)

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

FOSAD 2009, Bertinoro, Italy |

Published by Microsoft Research

PDF

下载 BibTex

Today’s lecture

  • More examples
  • Preventing deadlocks
  • Using abstraction
  • Building a program verifier