Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Sommer 2024    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Veranstaltung

Computergestützte Verifikation

  • Funktionen:

Grunddaten

Veranstaltungsart Vorlesung SWS 3.00
Veranstaltungsnummer 23144 Semester WS 2021/22
Sprache Deutsch Studienjahr
Hyperlink Stud.IP Lehrveranstaltung nicht mit Stud.IP synchronisiert

Belegung über StudIP

Es gibt keine Informationen zu einem Belegungsverfahren.

Module

1150740 Ergänzende Themen im Themenbereich Modelle und Algorithmen
1150790 Ausgewählte Themen im Themenbereich Modelle und Algorithmen
1150860 Spezialisierung im Themenbereich Modelle und Algorithmen
1150890 Vertiefte Spezialisierung im Themenbereich Modelle und Algorithmen
1151380 Computergestützte Verifikation

Termine Gruppe: [unbenannt] iCalendar Export für Outlook

  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook
Mi. 09:00 bis 11:00 ungerWoch 13.10.2021 bis 19.01.2022    Wolf findet statt digital offline  
Einzeltermine anzeigen
iCalendar Export für Outlook
Do. 13:00 bis 15:00 woch 14.10.2021 bis 27.01.2022    Wolf findet statt digital offline  
Gruppe [unbenannt]:
 

Verantwortliche Person

Verantwortliche Person Zuständigkeit
Prof. Dr. rer. nat. habil. Karsten Wolf

Studiengänge

Studiengang/Abschluss/Prüfungsversion Semester Teilnahmeart
Computer Science International, Master (2020) 1. - 3. Semester wahlobligatorisch
Electrical Engineering, Master (2018) 1. - 3. Semester wahlobligatorisch
Informatik, Master (2020) 1. - 2. Semester wahlobligatorisch
Informationstechnik/Technische Informatik, Master (2020) 1. - 2. Semester wahlobligatorisch
Visual Computing, Master (2014) 1. - 3. Semester wahlobligatorisch
Wirtschaftsinformatik, Master (2021) 1. - 2. Semester wahlobligatorisch

Zuordnung zu Einrichtungen

Fakultät für Informatik und Elektrotechnik (IEF)

Inhalt

Kommentar

• Funktionale Korrektheit als zentrales Qualitätskriterium
• Überblick über existierende Techniken und Werkzeuge
• Kenntnis leistungsfähiger Algorithmen und Datenstrukturen
• Einblick in die praktische Nutzbarmachung theoretischer Erkenntnisse

Literatur

Zentrale Empfehlungen:
• E.M. Clarke, O. Grumberg, D. Peled: Model Checking. MIT Press
1999. ISBN

Lerninhalte

Das Modul führt, von den Grundlagen bis zum aktuellen Stand der Kunst, in
Methoden der automatischen Verifikation von dynamischem Eigenschaften
für Systeme ein. Im Zentrum stehen dabei Technologien zum Model
Checking.
Inhalte
• Transitionssysteme (Beschreibung von Systemen)
• Temporale Logik (Beschreibung von Eigenschaften)
• Explizites Model Checking, Reduktionstechniken (Symmetrie, Partial Order,
Sweep-Line)
• Symbolisches Model Checking (BDD-basiert, SAT-basiert, Automatenbasiert)
• Model Checking für Echtzeitsysteme
• Abstraktion und Abstraktionsverfeinerung
• Model Checking für Software



Zugehörige weitere Veranstaltung
Nr. Veranstaltungsart Beschreibung SWS
23144 Übung Computergestützte Verifikation 1.00

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WS 2021/22 , Aktuelles Semester: Sommer 2024