A Foundation for Verifying Concurrent Programs (Lecture 1)
- Rustan Leino ,
- Peter Müller ,
- Jan Smans
FOSAD 2009, Bertinoro, Italy |
Published by Microsoft Research
Today’s lecture
- More examples
- Preventing deadlocks
- Using abstraction
- Building a program verifier