Exploring the Scope for Partial Order Reduction

@inproceedings{Geldenhuys2009ExploringTS,
  title={Exploring the Scope for Partial Order Reduction},
  author={Jaco Geldenhuys and Henri Hansen and Antti Valmari},
  booktitle={ATVA},
  year={2009}
}
Partial order reduction methods combat state explosion by exploring only a part of the full state space. In each state a subset of enabled transitions is selected using well-established criteria. Typically such criteria are based on an upper approximation of dependencies between transitions. An additional heuristic is needed to ensure that currently disabled transitions stay disabled in the discarded execution paths. Usually rather coarse approximations and heuristics have been used, together… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS
13 Citations
13 References
Similar Papers

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 13 references

Model Checking

  • E. M. Clarke, O. Grumberg, D. A. Peled
  • MIT Press, Cambridge
  • 1999
1 Excerpt

On the Stubborn Set Method in Reduced State Space Generation

  • K. Varpaaniemi
  • PhD thesis, Digital Systems Laboratory, Helsinki…
  • 1998
1 Excerpt

Similar Papers

Loading similar papers…