TY  - CHAP
AV  - none
SN  - 3-540-43477-1
SP  - 95
ID  - eprints169
M1  - 2318
Y1  - 2002///
TI  - Partial Order Reduction in Directed Model Checking
UR  - http://dx.doi.org/10.1007/3-540-46017-9_10
A1  - Lluch-Lafuente, Alberto
A1  - Edelkamp, Stefan
A1  - Leue, Stefan
N1  - The original publication is available at www.springerlink.com
T3  - Lecture Notes in Computer Science
N2  - 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.

T2  - Model Checking Software (SPIN '02)
PB  - Springer
ED  - Bosnacki, Dragan
ED  - Leue, Stefan
EP  - 138
ER  -