relation: http://eprints.imtlucca.it/169/
title: Partial Order Reduction in Directed Model Checking
creator: Lluch-Lafuente, Alberto
creator: Edelkamp, Stefan
creator: Leue, Stefan
subject: QA75 Electronic computers. Computer science
description: 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.  
publisher: Springer
contributor: Bosnacki, Dragan
contributor: Leue, Stefan
date: 2002
type: Book Section
type: PeerReviewed
identifier:   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)  
relation: http://dx.doi.org/10.1007/3-540-46017-9_10
relation: 10.1007/3-540-46017-9_10