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.