Enhancing Partial-Order Reduction via Process Clustering

Full text DOI 10.1109/ase.2001.989810 dblp

Abstract

Partial-order reduction is a well-known technique to cope with the state-space-explosion problem in the verification of concurrent systems. Using the hierarchical structure of concurrent systems, we present an enhancement of the partial-order-reduction scheme of G.J. Holzman and D. Peled (1995) and D. Peled (1994). A prototype of the new algorithm has been implemented on top of the verification tool SPIN. The first experimental results are encouraging.

BibTeX

@inproceedings{Basten-Bosnacki:ASE01,
  author    = {Twan Basten and
               Dragan Bosnacki},
  title     = {Enhancing {Partial-Order} Reduction via Process Clustering},
  booktitle = {ASE},
  pages     = {245--253},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
}

Enhancing Partial-Order Reduction via Process Clustering

Abstract

Related papers