Program Verification
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
Language: German
Prerequisites: Knowledge about functional programming and logic.