A Foundation for Verifying Concurrent Programs (Lecture 0)
- Rustan Leino ,
- Peter Müller ,
- Jan Smans
FOSAD 2009, Bertinoro, Italy |
Published by Microsoft Research
Program verification
- Prove program correctness for all possible inputs and behaviors