Using and Building an Automatic Program Verifier (Lecture 0)
- Rustan Leino
LASER Summer School 2011 Elba, Italy |
Published by Microsoft Research
Reasoning about programs
- Central to any programming task
- From safety critical applications to scripting
- From initial development to maintenance to debugging
- Minimizes faults, security problems, time/cost to market
- Thinking skill