Digicampus
Vorlesung + Übung: Formale Methoden - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird als Hybrid/gemischt abgehalten.

General information

Course number INF-5006
Semester WS 2020/21
Current number of participants 17
expected number of participants 20
Home institute Softwaretechnik
Courses type Vorlesung + Übung in category Teaching
Next date Tue , 08.12.2020 10:00 - 14:00, Room: (https://uni-augsburg.zoom.us/j/96782387905?pwd=ZWxrcUNDaS8vQXRIa0hhYW1Odkdwdz09)
Online/Digitale Veranstaltung Veranstaltung wird als Hybrid/gemischt abgehalten.
Hauptunterrichtssprache deutsch
ECTS points 6

Course location / Course dates

(https://uni-augsburg.zoom.us/j/96782387905?pwd=ZWxrcUNDaS8vQXRIa0hhYW1Odkdwdz09) Tuesday: 10:00 - 14:00, weekly (13x)

Module assignments

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 20/21".
Settings for unsubscribe:
  • The following conditions must be met for enrolment:
    Subject is Software Engineering