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.

2012S, 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
25h Prüfungsvorbereitung
25h Übungsaufgaben
----------------------------------
75h (3 ECTS)
----------------------------------

Vortragende Personen

  • Veith, Helmut

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.14:00 - 18:0023.03.2012 - 08.06.2012FH Hörsaal 3 - MATH Vorlesung
Fr.14:00 - 18:0004.05.2012Sem.R. DA grün 05 Vorlesung
Fr.15:00 - 16:0022.06.2012Seminarraum FAV EG B (Seminarraum von Neumann) CAV-Besprechung
Fr.14:00 - 17:0029.06.2012EI 3 Sahulka HS - UIW CAV Prüfung
Computer Aided Verification - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.23.03.201214:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.30.03.201214:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.04.05.201214:00 - 18:00Sem.R. DA grün 05 Vorlesung
Fr.11.05.201214:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.25.05.201214:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.08.06.201214:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.22.06.201215:00 - 16:00Seminarraum FAV EG B (Seminarraum von Neumann) CAV-Besprechung
Fr.29.06.201214:00 - 17:00EI 3 Sahulka HS - UIW CAV Prüfung
LVA wird geblockt abgehalten

Leistungsnachweis

Beurteilung der Übungen und Prüfung

LVA-Anmeldung

Von Bis Abmeldung bis
01.03.2012 12:00 31.03.2012 12:00

Anmeldemodalitäten

aktuelle Infos bitte LVA abonnieren Ort: TISS

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 931 Computational Intelligence Gebundenes Wahlfach
066 937 Software Engineering & Internet Computing Gebundenes Wahlfach
066 938 Technische Informatik Pflichtfach2. Semester

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Bachelor in Informatik oder verwandten Gebieten

Begleitende Lehrveranstaltungen

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch