181.145 Computer Aided Verification
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2020S, VU, 2.0h, 3.0EC, wird geblockt abgehalten
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage

- Spezifizieren eines Systems an:  Automaten, zeitliche Logik.
- Algorithmen zur Verifizierung von Systemen verstehen: Model checking und abstrakte Interpretation.
- Verwenden Constraint Solver (Erfüllbarkeitslöser) zum Erstellen von Model checkers

 

Inhalt der Lehrveranstaltung

Modellierung von Hardware und Software, Überblick über computerunterstuetzte Verifikationsmethoden. Spezifikation durch Temporallogik und Automaten, Simulation und Bisimulation, Zustands-Explosion, explizite und symbolische Model Checking Verfahren, Abstraktion und Abstraktionsverfeinerung, Predicate Abstraction, Entscheidungsprozeduren, Beweisertools. Verifikationssoftware in der Praxis, šUberblick šuber Verifikation spezieller Systeme und aktuelle Entwicklungen.

Methoden

Der Kurs besteht aus 8 Vorlesungen und 4 Übungsstunden, in denen die Schüler Beispiele aus Übungsblättern präsentieren.

Prüfungsmodus

Schriftlich

Weitere Informationen

Anmeldung über TISS Studierende der Kennzahlen 931,938 werden bevorzugt. Bitte LVA abonnieren. Hörsaalreservierungen sind für LVA 181.144 + 181.145.

ECTS Breakdown:
----------------------------------
25h Vorlesungen und Prüfung
35h Prüfungsvorbereitung
15h Übungsaufgaben
----------------------------------
75h (3 ECTS)
----------------------------------

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.15:00 - 17:0003.03.2020 - 10.03.2020Seminarraum FAV EG C (Seminarraum Gödel) CAV Lecture
Do.15:00 - 17:0012.03.2020Seminarraum FAV EG C (Seminarraum Gödel) CAV exercise
Computer Aided Verification - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.03.03.202015:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) CAV Lecture
Di.10.03.202015:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) CAV Lecture
Do.12.03.202015:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) CAV exercise
LVA wird geblockt abgehalten

Leistungsnachweis

The course will have a final exam. The date and place of the final written exam will be announced later. Students are allowed to bring one A4-size sheet of hand-written notes to the exam. No other material is allowed.

LVA-Anmeldung

Von Bis Abmeldung bis
05.03.2020 12:00 04.06.2020 12:00 04.07.2020 12:00

Anmeldemodalitäten:

aktuelle Infos bitte LVA abonnieren Ort: TISS

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Bachelor in Informatik oder verwandten Gebieten

Begleitende Lehrveranstaltungen

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch