Browse by author
Lookup NU author(s): Dr Victor Khomenko
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
We present an unfolding-based approach to LTL-X model checking of high-level Petri nets. It is based on the method proposed by Esparza and Heljanko for low-level nets [4,5] and a state of the art parallel high-level net unfolder described in [15,13]. We present experimental results comparing our approach to the one of [4,5] and the model-checker Spin .
Author(s): Schröter C, Khomenko V
Editor(s): Alur, R. and Peled, D.A.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Computer Aided Verification: 16th International Conference (CAV 2004)
Year of Conference: 2004
Publisher: Springer Verlag
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science