Der Kurs Automated Reasoning: Symbolic Model Checking lernen Sie, wie die Eigenschaften von handelnden Systemen und Programmen automatisch überprüft werden können. Der Grundbegriff ist ein Übergangssystem: jedes System, das durch Zustände und Schritte beschrieben werden kann. Wir zeigen, wie in der CTL (Computation Tree Logic) Eigenschaften wie die Erreichbarkeit beschrieben werden können. Typischerweise kann ein Zustandsraum sehr groß sein. Eine Möglichkeit, damit umzugehen, ist die symbolische Modellprüfung: eine Methode, bei der Mengen von Zuständen symbolisch dargestellt werden. Ein fruchtbarer Weg dazu ist die Darstellung von Zustandsmengen durch BDDs (binäre Entscheidungsdiagramme). In diesem Kurs werden Definitionen und grundlegende Eigenschaften von BDDs vorgestellt sowie die Algorithmen zu ihrer Berechnung, die für die CTL-Modellprüfung benötigt werden.

Automatisiertes Reasoning: Symbolische Modellüberprüfung
Sparen Sie mit 40% Rabatt auf 3 Monate Coursera Plus bei den Fähigkeiten, die Sie zum Strahlen bringen. Jetzt sparen

Automatisiertes Reasoning: Symbolische Modellüberprüfung

Dozent: Hans Zantema
2.901 bereits angemeldet
Bei enthalten
26 Bewertungen
Empfohlene Erfahrung
Was Sie lernen werden
Verstehen der Grundlagen der symbolischen Modellprüfung und der automatischen Systemverifikation.
Darstellung und Verifizierung von Systemen mit Hilfe von Übergangssystemen und Berechnungsbaumlogik
Anwendung von CTL-Modellprüfungsalgorithmen zur automatischen Überprüfung der Korrektheitseigenschaften
Erfahren Sie, wie Binäre Entscheidungsdiagramme (BDDs) boolesche Funktionen und große Zustandsräume effizient darstellen.
Kompetenzen, die Sie erwerben
- Kategorie: Verifizierung und Validierung
- Kategorie: Algorithmen
- Kategorie: Daten-Strukturen
- Kategorie: Rechnerische Logik
- Kategorie: Theoretische Informatik
Wichtige Details

Zu Ihrem LinkedIn-Profil hinzufügen
12 Aufgaben
Erfahren Sie, wie Mitarbeiter führender Unternehmen gefragte Kompetenzen erwerben.

In diesem Kurs gibt es 4 Module
Dozent

von
Mehr von Software-Entwicklung entdecken
- Status: Kostenloser Testzeitraum
University of Colorado Boulder

28DIGITAL

28DIGITAL
Status: Kostenloser TestzeitraumUniversity of Colorado Boulder
Warum entscheiden sich Menschen für Coursera für ihre Karriere?

Felipe M.

Jennifer J.

Larry W.

Chaitanya A.
Häufig gestellte Fragen
Weitere Fragen
Finanzielle Unterstützung verfügbar,




