Extended Static Checking
7 Novembro 2017, 16:30 • Vasco Manuel Thudichum de Serpa Vasconcelos
- 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