Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
S
tartseite
A
nmelden
Sommer 2024
Hilfe
Sitemap
Impressum
Datenschutz
node2
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Projekte
Promotionen/Habilitationen
Publikationen
Navigation ausblenden
Publikation: Dissertationsschrift
Improving explicit model checking for Petri nets
Grunddaten
Abstract
Autoren
Einrichtung
Grunddaten
Titel
Improving explicit model checking for Petri nets
Erscheinungsjahr
2020
Verlagsort
Rostock
Publikationsform
Druckschrift
Publikationsart
Dissertationsschrift
Sprache
Englisch
Letzte Änderung
09.11.2021 13:01:50
Bearbeitungsstatus
durch UB Rostock abschließend validiert
Dauerhafte URL
http://purl.uni-rostock.de/fodb/pub/66365
Links zu Katalogen
Abstract
Model checking is the automated verification that systematically checks if a given behavioral property holds for a given model of a system. We use Petri nets and temporal logic as formalisms to describe a system and its behavior in a mathematically precise and unambiguous manner. The contributions of this thesis are concerned with the improvement of model checking efficiency both in theory and in practice. We present two new reduction techniques and several supplementary strength reduction techniques. The thesis also enhances partial order reduction for certain temporal logic classes.
Autor
Liebke, Torsten
Einrichtung
Fakultät für Informatik und Elektrotechnik (IEF)