Digicampus
Vorlesung + Übung: Formale Methoden - Details
Sie sind nicht in Stud.IP angemeldet.
Lehrveranstaltung wird in Präsenz abgehalten.

Allgemeine Informationen

Veranstaltungsname Vorlesung + Übung: Formale Methoden
Veranstaltungsnummer INF-5006
Semester WS 2022/23
Aktuelle Anzahl der Teilnehmenden 27
erwartete Teilnehmendenanzahl 20
Heimat-Einrichtung Softwaretechnik
Veranstaltungstyp Vorlesung + Übung in der Kategorie Lehre
Erster Termin Dienstag, 18.10.2022 10:00 - 14:00, Ort: (1055N, Uni Augsburg)
Online/Digitale Veranstaltung Veranstaltung wird in Präsenz abgehalten.
Hauptunterrichtssprache deutsch
ECTS-Punkte 6

Räume und Zeiten

(1055N, Uni Augsburg)
Dienstag: 10:00 - 14:00, wöchentlich (14x)

Kommentar/Beschreibung

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.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Master SE".
Folgende Regeln gelten für die Anmeldung:
  • Folgende Bedingung muss zur Anmeldung erfüllt sein:
    Studienfach ist Software Engineering