Building a Program Verifier
- Rustan Leino ,
- Shaz Qadeer
Guest lecture, Shaz Qadeer's cse599f, Formal Verification of Computer Systems, University of Washington, Seattle, WA |
Published by Microsoft Research
Spec# research goals
- Build the best such system we can build today
- Experiment with the system to get a feel for what it is like to use
- Advance the state of the art