Vorlesung + Übung: Formale Methoden - Details

Allgemeine Informationen

Veranstaltungsname	Vorlesung + Übung: Formale Methoden
Veranstaltungsnummer	INF-5006
Semester	WS 2024/25
Aktuelle Anzahl der Teilnehmenden	24
erwartete Teilnehmendenanzahl	20
Heimat-Einrichtung	Softwaretechnik
Veranstaltungstyp	Vorlesung + Übung in der Kategorie Lehre
Nächster Termin	Dienstag, 26.11.2024 10:00 - 14:00, Ort: (1055 N)
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Ja
Hauptunterrichtssprache	deutsch
ECTS-Punkte	6

Lehrende

• Prof.Dr. Alexander Knapp
• Dr. Gerhard Schellhorn

Räume und Zeiten

(1055 N)

Dienstag: 10:00 - 14:00, wöchentlich (15x)

Studienbereiche

• Elitestudiengänge
• Fakultät für Angewandte Informatik > Informatik

Modulzuordnungen

• Software Engineering Elitestudiengang Software Engineering, 9. Version gültig ab SS 2024 > Schwerpunkt Formale Methoden und IT-Sicherheit > INF-5006 - Formale Methoden > Formale Methoden

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