<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Partial-order reduction and trail improvement in directed model checking"^^ . "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. "^^ . "2004" . "6" . "4" . . "Springer Berlin / Heidelberg"^^ . . . "International Journal on Software Tools for Technology Transfer (STTT)"^^ . . . "14332779" . . . . . . . . . . . . . "Stefan"^^ . "Leue"^^ . "Stefan Leue"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . "Stefan"^^ . "Edelkamp"^^ . "Stefan Edelkamp"^^ . . . . . "HTML Summary of #168 \n\nPartial-order reduction and trail improvement in directed model checking\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .