703084 PS Program Verification

summer semester 2020 | Last update: 25.05.2020 Place course on memo list
703084
PS Program Verification
PS 2
3
weekly
annually
German

After completing this module, students can understand, create and correct the specifications of programs. 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
not applicable
see dates
Group 1
Date Time Location
Wed 2020-03-11
14.15 - 16.00 SR 13 SR 13 Barrier-free
Wed 2020-03-18
14.15 - 16.00 SR 13 SR 13 Barrier-free
Wed 2020-03-25
14.15 - 16.00 SR 13 SR 13 Barrier-free
Wed 2020-04-01
14.15 - 16.00 SR 13 SR 13 Barrier-free
Wed 2020-04-22
14.15 - 16.00 SR 13 SR 13 Barrier-free
Wed 2020-04-29
14.15 - 16.00 SR 13 SR 13 Barrier-free
Wed 2020-05-06
14.15 - 16.00 SR 13 SR 13 Barrier-free
Wed 2020-05-13
14.15 - 16.00 SR 13 SR 13 Barrier-free
Wed 2020-05-20
14.15 - 16.00 SR 13 SR 13 Barrier-free
Wed 2020-05-27
14.15 - 16.00 SR 13 SR 13 Barrier-free
Wed 2020-06-03
14.15 - 16.00 SR 13 SR 13 Barrier-free
Wed 2020-06-10
14.15 - 16.00 SR 13 SR 13 Barrier-free
Wed 2020-06-17
14.15 - 16.00 SR 13 SR 13 Barrier-free
Wed 2020-06-24
14.15 - 16.00 SR 13 SR 13 Barrier-free