VU Computer Aided Verification

Exam informations

Beurteilung der Übungen und Prüfung

Workload for exams

Description

Einfuehrung in 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.

  • LVA-Nummer: 181.145
  • ECTS: 6.0
  • Stunden: 2

Module

Lecturers

Examples

Möchtest du die Beispiele bewerten musst du dich einloggen. Derzeit funktioniert das über Facebook, wir arbeiten an einem Login über TISS! Facebook Login

Download all as ZIP File
Add files...