TY  - BOOK
AU  - Liebke, Torsten
PY  - 2020
DA  - 2020//
TI  - Improving explicit model checking for Petri nets
PB  - Universität Rostock
CY  - Rostock
AB  - 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.<eng>
UR  - http://purl.uni-rostock.de/rosdok/id00003271
UR  - https://nbn-resolving.org/urn:nbn:de:gbv:28-rosdok_id00003271-3
UR  - https://d-nb.info/1293535133/34
UR  - https://doi.org/10.18453/rosdok_id00003271
DO  - 10.18453/rosdok_id00003271
LA  - English
N1  - vorgelegt von Torsten Liebke
ID  - 1774469006
ER  -