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 [12].
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
Pages: 109-121
Publisher: Springer Verlag
URL: http://dx.doi.org/10.1007/978-3-540-27813-9_9
DOI: 10.1007/978-3-540-27813-9_9
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783540223429
