Digicampus
Vorlesung + Übung: Formale Methoden - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird in Präsenz abgehalten.

General information

Course number INF-5006
Semester WS 2021/22
Current number of participants 22
expected number of participants 20
Home institute Softwaretechnik
Courses type Vorlesung + Übung in category Teaching
First date Tue , 19.10.2021 10:00 - 14:00
Online/Digitale Veranstaltung Veranstaltung wird in Präsenz abgehalten.
Hauptunterrichtssprache deutsch
ECTS points 6

Course location / Course dates

n.a Tuesday: 10:00 - 14:00, weekly

Comment/Description

In der Vorlesung werden Grundlagen für die Entwicklung beweisbar korrekter Software mit Hilfe des Theorembeweisers KIV vorgestellt. Die Übungen wenden diese Grundlagen auf eine Vielzahl von Spezifikations- und Verifikationsaufgaben an.

Admission settings

The course is part of admission "Master SE".
Settings for unsubscribe:
  • The following conditions must be met for enrolment:
    Subject is Software Engineering