703083 VO Program Verification
summer semester 2024 | Last update: 06.12.2024 | 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
Lecture, assessment is based on a single examination at the end of the course.
Written exam at the end of the semester.
Material will be made available on the accompanying web site.
Knowledge about functional programming and logic.
The lecture will be conducted in German, however the course material is in English.
see dates
- Faculty of Teacher Education
- 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.
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Wed 2024-03-06
|
08.15 - 10.45 | HS 10 HS 10 | Barrier-free | |
|
Wed 2024-03-13
|
08.15 - 10.45 | HS 10 HS 10 | Barrier-free | |
|
Wed 2024-03-20
|
08.15 - 10.45 | HS 10 HS 10 | Barrier-free | |
|
Wed 2024-04-10
|
08.15 - 10.45 | HS 10 HS 10 | Barrier-free | |
|
Wed 2024-04-17
|
08.15 - 10.45 | HS 10 HS 10 | Barrier-free | |
|
Wed 2024-04-24
|
08.15 - 10.45 | HS 10 HS 10 | Barrier-free | |
|
Wed 2024-05-08
|
08.15 - 10.45 | HS 10 HS 10 | Barrier-free | |
|
Wed 2024-05-15
|
08.15 - 10.45 | HS 10 HS 10 | Barrier-free | |
|
Wed 2024-05-22
|
08.15 - 10.45 | HS 10 HS 10 | Barrier-free | |
|
Wed 2024-05-29
|
08.15 - 10.45 | HS 10 HS 10 | Barrier-free | |
|
Wed 2024-06-05
|
08.15 - 10.45 | HS 10 HS 10 | Barrier-free | |
|
Wed 2024-06-12
|
08.15 - 10.45 | HS 10 HS 10 | Barrier-free | |
|
Wed 2024-06-19
|
08.15 - 10.45 | HS 10 HS 10 | Barrier-free | |
|
Wed 2024-06-26
|
08.15 - 10.45 | HS 10 HS 10 | Barrier-free | |
|
Fri 2024-10-04
|
15.00 - 17.00 | 3W03 3W03 | Barrier-free | 2. Klausur |