703083 VO Program Verification

summer semester 2020 | Last update: 25.05.2020 Place course on memo list
703083
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
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