Introduction
The lecture covers the following topics:- validation and verification
- partial correctness and termination
- automatic termination analysis
- usage of SMT-solvers
- specification of properties of programs
- verification of functional programs
- verification of imperative programs
- proof techniques: induction, invariants, generalization