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.

2015S, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

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

Ziele der Lehrveranstaltung

Einfuehrung in die automatische Verifikation von Hard-und Software

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.

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 Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.14:00 - 18:0017.04.2015 - 19.06.2015FH Hörsaal 3 - MATH Vorlesung
Fr.14:00 - 18:0008.05.2015EI 11 Geodäsie HS - GEO Vorlesung
Fr.13:00 - 18:0019.06.2015 - 26.06.2015EI 3A Hörsaal Computer Aided Verification
Computer Aided Verification - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.17.04.201514:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.24.04.201514:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.08.05.201514:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.08.05.201514:00 - 18:00EI 11 Geodäsie HS - GEO Vorlesung
Fr.15.05.201514:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.22.05.201514:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.29.05.201514:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.12.06.201514:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.19.06.201513:00 - 18:00EI 3A Hörsaal Computer Aided Verification
Fr.19.06.201514:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.26.06.201513:00 - 18:00EI 3A Hörsaal Computer Aided Verification
LVA wird geblockt abgehalten

Leistungsnachweis

Beurteilung der Übungen und Prüfung

LVA-Anmeldung

Von Bis Abmeldung bis
05.03.2015 12:00 04.04.2015 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