A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Büchi-Automata guided Partial Order Reduction for LTL
2020
Applications and Theory of Petri Nets
Partial order reduction (POR) is a key technique to tackle the state explosion problem in the model checking (MC) domain. POR is based on the observation that concurrent and independent running processes contribute extensively to the state explosion problem, while having only little influence on the property preservation of individual processes. In essence, while building the state space, in each found state, POR methods compute a subset of transitions and only fire the transitions in it, to
dblp:conf/apn/Liebke20
fatcat:76csgzkr5vh6zj3vr6pd56og7i