Edelkamp, Stefan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-order reduction and trail improvement in directed model checking. International Journal on Software Tools for Technology Transfer (STTT), 6 (4). pp. 277-301. ISSN 1433-2779 (2004)
Full text not available from this repository.Abstract
In this paper we present work on trail improvement and partial-order reduction in the context of directed explicit-state model checking. Directed explicit-state model checking employs directed heuristic search algorithms such as A* or best-first search to improve the error-detection capabilities of explicit-state model checking. We first present the use of directed explicit-state model checking to improve the length of already established error trails. Second, we show that partial-order reduction, which aims at reducing the size of the state space by exploiting the commutativity of concurrent transitions in asynchronous systems, can coexist well with directed explicit-state model checking. Finally, we illustrate how to mitigate the excessive length of error trails produced by partial-order reduction in explicit-state model checking. In this context we also propose a combination of heuristic search and partial-order reduction to improve the length to already provided counterexamples.
| Item Type: | Article |
|---|---|
| Identification Number: | https://doi.org/10.1007/s10009-004-0151-z |
| Additional Information: | The original publication is available at www.springerlink.com |
| Uncontrolled Keywords: | Model checking - Heuristic search - Trail improvement - Partial-order reduction - HSF-SPIN |
| 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 12:54 |
| Last Modified: | 11 Jul 2011 14:34 |
| URI: | http://eprints.imtlucca.it/id/eprint/168 |
Actions (login required)
 |
Edit Item |
