Toggle Main Menu Toggle Search

Open Access padlockePrints

Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings

Lookup NU author(s): Dr Victor Khomenko

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

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].


Publication metadata

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


Share