Lehrveranstaltungen


Erweiterte Suche|Zurücksetzen
Wahlmodul 1: Programmverifikation (7,5 ECTS-AP, 5 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Die Studierenden können nach Abschluss dieses Moduls Spezifikation von Programmen verstehen, erstellen und korrigieren. Sie haben die Fertigkeit erworben, Spezifikationen formal nachzuweisen. Dabei setzen sie eine Kombination aus interaktiven und automatischen Methoden ein, um ausdrucksstarke Logiken mit effizienter Beweissuche zu kombinieren.
Zur übergeordneten Rubrik
OLAT ML
703083
VO Programmverifikation (VO / 3h / 4,5 ECTS-AP)
René Thiemann
Details zu dieser Lehrveranstaltung
OLAT ML
703084
PS Programmverifikation (PS / 2h / 3 ECTS-AP)
René Thiemann
Details zu dieser Lehrveranstaltung

Hinweis:
  • Es können sich noch Änderungen im Lehrveranstaltungsangebot sowie bei Raum- und Terminbuchungen ergeben.
  • Bitte wählen Sie für das Lehrveranstaltungsangebot die Fakultät aus, der Ihre Studienrichtung zugeteilt ist.