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.

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

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:0015.04.2016 - 17.06.2016FH Hörsaal 3 - MATH Vorlesung
Fr.14:00 - 18:0006.05.2016EI 11 Geodäsie HS - GEO Vorlesung
Fr.13:00 - 18:0017.06.2016 - 24.06.2016EI 3A Hörsaal Computer Aided Verification
Computer Aided Verification - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.15.04.201614:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.22.04.201614:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.29.04.201614:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.06.05.201614:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.06.05.201614:00 - 18:00EI 11 Geodäsie HS - GEO Vorlesung
Fr.13.05.201614:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.20.05.201614:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.03.06.201614:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.10.06.201614:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.17.06.201613:00 - 18:00EI 3A Hörsaal Computer Aided Verification
Fr.17.06.201614:00 - 18:00FH Hörsaal 3 - MATH Vorlesung
Fr.24.06.201613: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
03.03.2016 12:00 02.04.2016 12:00

Anmeldemodalitäten

aktuelle Infos bitte LVA abonnieren Ort: TISS

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus) Keine Angabe
066 504 Masterstudium Embedded Systems Keine Angabe
066 504 Masterstudium Embedded Systems Keine Angabe
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

Sprache

Englisch