EIT Digital
Automatisiertes Reasoning: Symbolische Modellüberprüfung
EIT Digital

Automatisiertes Reasoning: Symbolische Modellüberprüfung

Hans Zantema

Dozent: Hans Zantema

2.666 bereits angemeldet

Bei Coursera Plus enthalten

Verschaffen Sie sich einen Einblick in ein Thema und lernen Sie die Grundlagen.
4.7

(26 Bewertungen)

Stufe Mittel

Empfohlene Erfahrung

Es dauert 13 Stunden
3 Wochen bei 4 Stunden pro Woche
Flexibler Zeitplan
In Ihrem eigenen Lerntempo lernen
Verschaffen Sie sich einen Einblick in ein Thema und lernen Sie die Grundlagen.
4.7

(26 Bewertungen)

Stufe Mittel

Empfohlene Erfahrung

Es dauert 13 Stunden
3 Wochen bei 4 Stunden pro Woche
Flexibler Zeitplan
In Ihrem eigenen Lerntempo lernen

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.

Platzhalter
Platzhalter

Erwerben Sie ein Karrierezertifikat.

Fügen Sie diese Qualifikation zur Ihrem LinkedIn-Profil oder Ihrem Lebenslauf hinzu.

Teilen Sie es in den sozialen Medien und in Ihrer Leistungsbeurteilung.

Platzhalter

In diesem Kurs gibt es 4 Module

Nach einer allgemeinen Einführung in den MOOC beginnt dieses Modul mit einer allgemeinen Beschreibung der Modellprüfung. Dann wird die Computation Tree Logic (CTL) vorgestellt: eine Sprache, in der Eigenschaften von Übergangssystemen beschrieben werden können. Der Algorithmus, mit dem geprüft werden kann, ob eine solche Eigenschaft zutrifft, wird in einer abstrakten Umgebung angegeben, wobei nicht angegeben wird, wie die Zustandsmengen dargestellt werden.

Das ist alles enthalten

5 Videos3 Aufgaben

In diesem Modul werden BDDs (binäre Entscheidungsdiagramme) als Entscheidungsbäume mit Teilung eingeführt. Sie stellen boolesche Funktionen dar. Es werden zusätzliche Anforderungen an Entscheidungsbäume und BDDs vorgestellt, aus denen auf die Einzigartigkeit der Darstellung geschlossen werden kann.

Das ist alles enthalten

4 Videos3 Aufgaben

Nach einigen Beispielen für BDD wird der Algorithmus zur Berechnung des ROBDD einer beliebigen Aussageformel vorgestellt und diskutiert.

Das ist alles enthalten

4 Videos3 Aufgaben

In diesem letzten Modul werden die Themen CTL-Modellprüfung und BDDs kombiniert: Es wird gezeigt, wie BDDs verwendet werden können, um Zustandsmengen so darzustellen, dass der abstrakte Algorithmus für die CTL-Modellprüfung verwendet werden kann und viel größere Zustandsräume behandelt werden können als bei der expliziten zustandsbasierten Modellprüfung. Es werden mehrere Beispiele vorgestellt.

Das ist alles enthalten

4 Videos3 Lektüren3 Aufgaben

Dozent

Lehrkraftbewertungen
5.0 (9 Bewertungen)
Hans Zantema
EIT Digital
2 Kurse6.334 Lernende

von

EIT Digital

Empfohlen, wenn Sie sich für Softwareentwicklung interessieren

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.“
Platzhalter

Neue Karrieremöglichkeiten mit Coursera Plus

Unbegrenzter Zugang zu über 7.000 erstklassigen Kursen, praktischen Projekten und Zertifikatsprogrammen, die Sie auf den Beruf vorbereiten – 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