Aktuelles
- 13.08.2018: Nachholklausur: 8.10.2018 von 14-16 Uhr im Raum B201, Hauptgebäude
- 13.08.2018: Klausureinsicht zur ersten Klausur: Dienstag, den 21.08.2018 10-12 Uhr in Raum F003, Oettingenstraße 67
- 10.07.2018: Raumzuteilung für die erste Klausur: Nachname A-M in B201(Hauptgebäude), Nachname N-Z in M218(Hauptgebäude)
- 10.07.2018: Ergebnisse der Vorlesungsevaluation sind nun bei "Materialien" aufgeführt (Zugangsdaten sind dieselben wie beim Skript)
- 28.05.2018: Der Klausurtermin für die erste Klausur steht nun fest!
- 24.04.2018: Eine UniWorX-Veranstaltung steht jetzt zur Verfügung (bitte eintragen)
- 23.04.2018: Übungszeiten aktualisiert, jetzt c.t.!
- 29.03.2018: Beginn der Vorlesung aktualisiert (Start in der dritten Vorlesungswoche)
Inhalt
Die Veranstaltung führt in grundlegende Methoden und Konzepte ein, die bei der Spezifikation und
Verifikation von Systemen von Bedeutung sind. Es werden Spezifikationsformalismen, Konzepte
der System-Modellierung und Grundtechniken für die Automatisierung der Verifikation behandelt.
Neben der Vorlesung werden die besprochenen Inhalte im Übungsteil anhand von praktischen Anwendungen eingeübt.
Modulhandbuch, 2.18 P 18: Formale Spezifikation und Verifikation (INF-FSV), Seite 48
Termine
- Vorlesung: Mo, 12-14 Uhr s.t., Schellingstr. 3 (S), S 007(Erste Vorlesung am 23.04.2018)
- Übungen: (ab 25.04.2018)
- Klausur: 16.07.2018, 9-11 Uhr, Hauptgebäude, Nachname A-M in B201, Nachname N-Z in M218; (An-/Abmeldung bis 13.07.2018 10:00 Uhr im UniWorX)
- Nachholklausur: 08.10.2018, 14-16 Uhr, Hauptgebäude, Raum B201,
(An-/Abmeldung bis 03.10..2018 23:55 Uhr im UniWorX)
Personen
Materialien
Die folgenden Materialien unterliegen dem Copyright. Teilnehmern der Vorlesung ist die Verwendung für persönliche Studien gestattet. Alle anderen Rechte sind vorbehalten.
Vorlesungsskript, aktualisiert 2018-07-10 (Mitschrift der VL vom 2018-06-25 hinzugefügt)
Vorlesungsevaluation
(Zugangsdaten finden Sie in den Folien zur ersten Übung im UniWorX)
Vorlesung
| Datum |
Geplante Themen |
| 23.4. | Einführung, Modelle, Verifikation |
| 30.4. | Transitionssysteme, explizite Errreichbarkeitsanalyse |
| 07.5. | Symbolische Erreichbarkeitsanalyse |
| 14.5. | SROBDDs |
| 21.5. | keine Vorlesung |
| 28.5. | LTL und Automaten (Teil 1) |
| 04.6. | LTL und Automaten (Teil 2) |
| 11.6. | Timed Automata |
| 18.6. | Software-Verifikation und zugehörige Tools |
| 25.6. | Testing und zugehörige Tools |
| 02.7. | keine Vorlesung |
| 09.7. | SAT, DPLL, SMT |
Übung
Die Übungsblätter und Folien zur Besprechung der Übungsblätter finden Sie im UniWorX!
Hörerkreis
Bachelor Informatik
Empfohlene Vorkenntnisse
- Logik und Diskrete Strukturen
- Formale Sprachen und Komplexität
- System- oder Softwareentwicklungspraktikum
Literatur
Nützliche Links