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.

2018W, 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: 9.October 2018, 9:00 (s.t.), EI8

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue09:00 - 10:0009.10.2018EI 8 Pötzl HS - QUER Kick-off meetting
Tue08:00 - 10:0016.10.2018 - 29.01.2019EI 8 Pötzl HS - QUER Exercises
Formal Methods in Computer Science - Single appointments
DayDateTimeLocationDescription
Tue09.10.201809:00 - 10:00EI 8 Pötzl HS - QUER Kick-off meetting
Tue16.10.201808:00 - 10:00EI 8 Pötzl HS - QUER Exercises
Tue23.10.201808:00 - 10:00EI 8 Pötzl HS - QUER Exercises
Tue30.10.201808:00 - 10:00EI 8 Pötzl HS - QUER Exercises
Tue06.11.201808:00 - 10:00EI 8 Pötzl HS - QUER Exercises
Tue13.11.201808:00 - 10:00EI 8 Pötzl HS - QUER Exercises
Tue20.11.201808:00 - 10:00EI 8 Pötzl HS - QUER Exercises
Tue27.11.201808:00 - 10:00EI 8 Pötzl HS - QUER Exercises
Tue04.12.201808:00 - 10:00EI 8 Pötzl HS - QUER Exercises
Tue11.12.201808:00 - 10:00EI 8 Pötzl HS - QUER Exercises
Tue18.12.201808:00 - 10:00EI 8 Pötzl HS - QUER Exercises
Tue08.01.201908:00 - 10:00EI 8 Pötzl HS - QUER Exercises
Tue15.01.201908:00 - 10:00EI 8 Pötzl HS - QUER Exercises
Tue22.01.201908:00 - 10:00EI 8 Pötzl HS - QUER Exercises
Tue29.01.201908:00 - 10:00EI 8 Pötzl HS - QUER Exercises

Examination modalities

For each of the topics, there will be an exercise sheet. Students submit their solutions in tuwel and these solutions are graded.

Course registration

Begin End Deregistration end
07.10.2018 00:00 06.11.2018 00:00 06.11.2018 00:00

Curricula

Literature

No lecture notes are available.

Language

if required in English