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)