inf410 - Formale Methoden (Vollständige Modulbeschreibung)

Nützliche Vorkenntnisse: Vorlesung Logik

Formale Methoden sind mathematisch wohldefinierte Sprachen zur Modellierung von Systemen. Die Studierenden bekommen einen Überblick über verschiedene formale Methoden und ihren Einsatz bei der Modellierung und Analyse von Informatik-Systemen. Sie wählen für eine gegebene Aufgabe adäquate Formalismen sowie zugehörige Analyseverfahren aus, wenden diese an und interpretieren Ergebnisse der Analyse.
Fachkompetenzen
Die Studierenden:

• wenden mathematische Formalismen in der Modellierung von Informatik-Systemen an
• wählen für eine gegebene Aufgabenstellung adäquate Modellierungssprachen aus
• spezifizieren Informatik-Systeme formal
• wählen geeignete Analyseverfahren aus
• interpretieren Ergebnisse von Analyseverfahren

Methodenkompetenzen
Die Studierende:

• führen formale Beweise durch
• nutzen Werkzeuge zur Analyse
• definieren die Semantik von formalen Spezifikationssprachen

Sozialkompetenzen
Die Studierenden:

• bearbeiten in Gruppen Übungsaufgaben und erklären sich gegenseitig Inhalte
• diskutieren Vor- und Nachteile bestimmter Formalismen

Selbstkompetenzen
Die Studierenden:

• organisieren sich ihre eigene Arbeit an den Aufgabenstellungen des Moduls

• Wiederholung von Prädikatenlogik, ihr Einsatz in der Programmverifikation
• Petrinetze
• Prozessalgebra CCS
• Zeitautomaten
• Z

Wöchentliche Aufgaben, am Ende mündliche Prüfung

Klausur oder mündliche Prüfung