Einfuehrung in Methoden und Tools für die automatische Verifikation von Hard-und Software
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.
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üfung35h Prüfungsvorbereitung15h Übungsaufgaben----------------------------------75h (3 ECTS)----------------------------------
Beurteilung der Übungen und Prüfung
aktuelle Infos bitte LVA abonnieren Ort: TISS
Bachelor in Informatik oder verwandten Gebieten