185.A93 Formal Methods in Computer Science
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2017W, UE, 2.0h, 3.0EC
TUWEL

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: UE Exercise

Aim of course

This course deepens the understanding of the topics in the course "6.0 VU Formal Methods in Computer Science" by offering additional exercises.

Subject of course

The course presents exercises for the following topics:

  • Complexity theory: NP-completeness, undecidability, reduction of problems
  • Satisfiability problems: SAT, SMT
  • Partial/total correctness of programs: Hoare calculus, weakest precondition, strongest postcondition
  • Formal verification based on model checking

Additional information

FIRST MEETING: 17 October 2017, 10:15, EI8

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue10:00 - 12:0003.10.2017 - 23.01.2018EI 8 Pötzl HS - QUER Exercises
Formal Methods in Computer Science - Single appointments
DayDateTimeLocationDescription
Tue03.10.201710:00 - 12:00EI 8 Pötzl HS - QUER Exercises
Tue10.10.201710:00 - 12:00EI 8 Pötzl HS - QUER Exercises
Tue17.10.201710:00 - 12:00EI 8 Pötzl HS - QUER Exercises
Tue24.10.201710:00 - 12:00EI 8 Pötzl HS - QUER Exercises
Tue31.10.201710:00 - 12:00EI 8 Pötzl HS - QUER Exercises
Tue07.11.201710:00 - 12:00EI 8 Pötzl HS - QUER Exercises
Tue14.11.201710:00 - 12:00EI 8 Pötzl HS - QUER Exercises
Tue21.11.201710:00 - 12:00EI 8 Pötzl HS - QUER Exercises
Tue28.11.201710:00 - 12:00EI 8 Pötzl HS - QUER Exercises
Tue05.12.201710:00 - 12:00EI 8 Pötzl HS - QUER Exercises
Tue12.12.201710:00 - 12:00EI 8 Pötzl HS - QUER Exercises
Tue19.12.201710:00 - 12:00EI 8 Pötzl HS - QUER Exercises
Tue09.01.201810:00 - 12:00EI 8 Pötzl HS - QUER Exercises
Tue16.01.201810:00 - 12:00EI 8 Pötzl HS - QUER Exercises
Tue23.01.201810:00 - 12:00EI 8 Pötzl HS - QUER Exercises

Course registration

Begin End Deregistration end
01.10.2017 00:00 31.10.2017 00:00 31.10.2017 00:00

Curricula

Literature

No lecture notes are available.

Language

if required in English