Logo eprints

Partial Order Reduction in Directed Model Checking

Lluch-Lafuente, Alberto and Edelkamp, Stefan and Leue, Stefan Partial Order Reduction in Directed Model Checking. In: Model Checking Software (SPIN '02). Lecture Notes in Computer Science, 2318 . Springer, pp. 95-138. ISBN 3-540-43477-1 (2002)

Full text not available from this repository.


Partial order reduction is a very succesful technique for avoiding the state explosion problem that is inherent to explicit state model checking of asynchronous concurrent systems. It exploits the commutativity of concurrently executed transitions in interleaved system runs in order to reduce the size of the explored state space. Directed model checking on the other hand addresses the state explosion problem by using guided search techniques during state space exploration. As a consequence, shorter errors trails are found and less search effort is required than when using standard depth-first or breadth-first search. We analyze how to combine directed model checking with partial order reduction methods and give experimental results on how the combination of both techniques performs.

Item Type: Book Section
Identification Number: 10.1007/3-540-46017-9_10
Additional Information: The original publication is available at www.springerlink.com
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 30 not found.
Date Deposited: 13 May 2011 13:07
Last Modified: 11 Jul 2011 14:34
URI: http://eprints.imtlucca.it/id/eprint/169

Actions (login required)

Edit Item Edit Item