Extended Static Checking
11 Novembro 2016, 16:30 • Antónia Lopes
- History, static analysis versus runtime verification
- Soundness and completness
- Architecture of Esc/Java2
- The Bag tutorial
- Limitations that we need to be aware of
- Tracing a warning in the source code
- Counterexamples
- Exceptions