Preliminary knowledge

Grundlegende und vertiefte Kenntnisse in Programmierung und Software Engineering

Contents

Es wird eine Übersicht über die Themen formale Spezifikation und Analyseverfahren von Softwaresystemen gegeben, die folgende Inhalte umfasst:

1. Grundlagen der Sprachdefinition
2. Logik als formale Sprache und Kalküle für Model Checking und automatisches Beweisen
3. Systemmodellierung durch Transitionssysteme
4. Konzepte und Algorithmen des Model Checking
5. Bewertungskriterien für die Anwendung von automatischen Beweisverfahren in der Softwaretechnik

Literature

• D. Peled: Software Reliability Methods; Springer, 2001
• J. Magee, J. Kramer: Concurrency: State Models & Java Programs; Wiley, 1999
• Chin-Liang Chang, Richard Char-Tung Lee: Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics); Academic Press, 1973

Participants

• LA-Info-GyGe-Ma-2014 > Wahlpflichtbereich Informatik > (1st-3rd Semester, Elective) Modul "Formale Methoden des Software Engineering"
• Mathe-Ma-2013 > Anwendungsfach "Informatik" > Profil "Software Systems Engineering" > (1st-3rd Semester, Elective) Modul "Formale Methoden des Software Engineering"
• SNE-Ma-2016 > Wahlpflichtbereich > (1st-3rd Semester, Elective) Modul "Formale Methoden des Software Engineering"
• TechMathe-Ma-2013 > Anwendungsfach "Informatik" > Profil "Software Systems Engineering" > (1st-3rd Semester, Elective) Modul "Formale Methoden des Software Engineering"
• WiInf-Ma-2010 > Wahlpflichtbereich > Wahlpflichtbereich II: Informatik, BWL, VWL > Wahlpflichtmodule der Informatik > (1st-3rd Semester, Elective) Modul "Formale Methoden des Software Engineering"