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

Automatisiertes Reasoning: Symbolische Modellüberprüfung

Dozent: Hans Zantema
2.900 bereits angemeldet
Bei enthalten
26 Bewertungen
Empfohlene Erfahrung
Was Sie lernen werden
Understand the foundations of symbolic model checking and automated system verification.
Represent and verify systems using transition systems and Computation Tree Logic
Apply CTL model checking algorithms to automatically check correctness properties
Learn how Binary Decision Diagrams (BDDs) efficiently represent Boolean functions and large state spaces.
Kompetenzen, die Sie erwerben
- Kategorie: Daten-Strukturen
- Kategorie: Rechnerische Logik
- Kategorie: Algorithmen
- Kategorie: Theoretische Informatik
- Kategorie: Verifizierung und Validierung
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.

Neue Karrieremöglichkeiten mit Coursera Plus
Unbegrenzter Zugang zu 10,000+ Weltklasse-Kursen, praktischen Projekten und berufsqualifizierenden Zertifikatsprogrammen - alles in Ihrem Abonnement enthalten
Bringen Sie Ihre Karriere mit einem Online-Abschluss voran.
Erwerben Sie einen Abschluss von erstklassigen Universitäten – 100 % online
Schließen Sie sich mehr als 3.400 Unternehmen in aller Welt an, die sich für Coursera for Business entschieden haben.
Schulen Sie Ihre Mitarbeiter*innen, um sich in der digitalen Wirtschaft zu behaupten.
Häufig gestellte Fragen
Weitere Fragen
Finanzielle Unterstützung verfügbar,

