eprintid: 169
rev_number: 6
eprint_status: archive
userid: 30
dir: disk0/00/00/01/69
datestamp: 2011-05-13 13:07:05
lastmod: 2011-07-11 14:34:35
status_changed: 2011-05-13 13:07:05
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Lluch-Lafuente, Alberto
creators_name: Edelkamp, Stefan
creators_name: Leue, Stefan
creators_id: alberto.lluch@imtlucca.it
creators_id: 
creators_id: 
title: Partial Order Reduction in Directed Model Checking
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: The original publication is available at www.springerlink.com
abstract: 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.

date: 2002
date_type: published
series: Lecture Notes in Computer Science
volume: 2318
publisher: Springer
pagerange: 95-138
id_number: 10.1007/3-540-46017-9_10
refereed: TRUE
isbn: 3-540-43477-1
book_title: Model Checking Software (SPIN '02)
editors_name: Bosnacki, Dragan
editors_name: Leue, Stefan
official_url: http://dx.doi.org/10.1007/3-540-46017-9_10
citation:   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)