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
Erweitern Sie Ihre Kenntnisse mit Coursera Plus für 239 $/Jahr (normalerweise 399 $). Jetzt sparen.
Automatisiertes Reasoning: Symbolische Modellüberprüfung
Dozent: Hans Zantema
2.896 bereits angemeldet
Bei enthalten
Verschaffen Sie sich einen Einblick in ein Thema und lernen Sie die Grundlagen.
26 Bewertungen
Stufe Mittel
Empfohlene Erfahrung
1 Woche zu vervollständigen
unter 10 Stunden pro Woche
Flexibler Zeitplan
In Ihrem eigenen Lerntempo lernen
Kompetenzen, die Sie erwerben
- Kategorie: Algorithms
- Kategorie: Data Structures
- Kategorie: Verification And Validation
- Kategorie: Computational Logic
- Kategorie: Theoretical Computer Science
Wichtige Details
Zertifikat zur Vorlage
Zu Ihrem LinkedIn-Profil hinzufügen
Bewertungen
12 Aufgaben
Unterrichtet in Englisch
Erfahren Sie, wie Mitarbeiter führender Unternehmen gefragte Kompetenzen erwerben.
In diesem Kurs gibt es 4 Module
Dozent
Lehrkraftbewertungen
(9 Bewertungen)von
Mehr von Software-Entwicklung entdecken
Status: Kostenloser TestzeitraumUniversity of Colorado Boulder
28DIGITAL
28DIGITAL
Status: Kostenloser TestzeitraumUniversity of Colorado Boulder
Warum entscheiden sich Menschen für Coursera für ihre Karriere?
Felipe M.
Lernender seit 2018
„Es ist eine großartige Erfahrung, in meinem eigenen Tempo zu lernen. Ich kann lernen, wenn ich Zeit und Nerven dazu habe.“
Jennifer J.
Lernender seit 2020
„Bei einem spannenden neuen Projekt konnte ich die neuen Kenntnisse und Kompetenzen aus den Kursen direkt bei der Arbeit anwenden.“
Larry W.
Lernender seit 2021
„Wenn mir Kurse zu Themen fehlen, die meine Universität nicht anbietet, ist Coursera mit die beste Alternative.“
Chaitanya A.
„Man lernt nicht nur, um bei der Arbeit besser zu werden. Es geht noch um viel mehr. Bei Coursera kann ich ohne Grenzen lernen.“
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,