703083 VO Program Verification
summer semester 2020 | Last update: 25.05.2020 | 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
Group 0
|
||||
---|---|---|---|---|
Date | Time | Location | ||
Fri 2020-03-06
|
10.15 - 13.00 | HS 10 HS 10 | Barrier-free | |
Fri 2020-03-13
|
12.30 - 15.30 | HS D (Technik) HS D (Technik) | Barrier-free | |
Fri 2020-03-20
|
12.30 - 15.30 | HS D (Technik) HS D (Technik) | Barrier-free | |
Fri 2020-03-27
|
12.30 - 15.30 | HS D (Technik) HS D (Technik) | Barrier-free | |
Fri 2020-04-03
|
12.30 - 15.30 | HS D (Technik) HS D (Technik) | Barrier-free | |
Fri 2020-04-24
|
13.30 - 16.30 | HS D (Technik) HS D (Technik) | Barrier-free | |
Fri 2020-05-08
|
12.30 - 15.30 | HS D (Technik) HS D (Technik) | Barrier-free | |
Fri 2020-05-15
|
12.30 - 15.30 | HS D (Technik) HS D (Technik) | Barrier-free | |
Fri 2020-05-22
|
10.15 - 13.00 | HS D (Technik) HS D (Technik) | Barrier-free | |
Fri 2020-05-29
|
12.30 - 15.30 | HS D (Technik) HS D (Technik) | Barrier-free | |
Fri 2020-06-05
|
12.30 - 15.30 | HS D (Technik) HS D (Technik) | Barrier-free | |
Fri 2020-06-12
|
12.30 - 15.30 | HS D (Technik) HS D (Technik) | Barrier-free | |
Fri 2020-06-19
|
12.30 - 15.30 | HS D (Technik) HS D (Technik) | Barrier-free | |
Fri 2020-06-26
|
12.30 - 15.30 | HS D (Technik) HS D (Technik) | Barrier-free |