Current page:
Vorlesung + Übung: Formale Methoden - Details

  • Detaillierte Informationen über die Veranstaltung werden angezeigt, wie z.B. die Veranstaltungsnummer, Zuordnungen, DozentInnen, TutorInnen etc. In den Detail-Informationen ist unter Aktionen das Eintragen in eine Veranstaltung möglich.

  • link-extern Further help
You are not logged in.

Lehrveranstaltung wird online/digital abgehalten. Online/Digitale Veranstaltung Formale Methoden

General information

Course number INF-5006
Semester WS 2019/20
Home institute Softwaretechnik
Courses type Vorlesung + Übung in category Teaching
First appointment Tue , 22.10.2019 10:00 - 14:00, Room: (Augsburg; Raum 1055 Gebäude N)
Online/Digitale Veranstaltung Veranstaltung wird online/digital abgehalten.
Hauptunterrichtssprache deutsch
ECTS points 6

Lecturers

Times

Tuesday: 10:00 - 14:00, weekly (from 22/10/19)

Course location

(Augsburg; Raum 1055 Gebäude N)

Fields of study

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:
  • These conditions are required for enrollment:
    Subject is Software Engineering

attendance

Current number of participants 19
expected number of participants 20