703083 VO Program Verification
summer semester 2021 | Last update: 19.04.2021 | Place course on memo list703083
VO Program Verification
VO 3
4,5
weekly
annually
German
After completing this module, students can understand, create and correct the specifications of programmes. They have acquired the skill to prove specifications formally. They use a combination of interactive and automatic methods to combine expressive logic with efficient search for proof.
- validation and verification
- partial correctness and termination
- automatic termination proofs
- working with an SMT-solver
- specification of program properties
- verification of functional programs
- verification of imperative programs
- proving techniques: induction, invariants, generalizations
see dates
- Faculty of Mathematics, Computer Science and Physics
- SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.
- SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.