Space Reductions for Model Checking Quasi-Cyclic Systems

  title={Space Reductions for Model Checking Quasi-Cyclic Systems},
  author={Matthew B. Dwyer and Robby and Xianghua Deng and John Hatcliff},
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief obstacle to its broad acceptance. One strategy for making further progress is to exploit characteristics of classes of systems to develop domain-specific reductions. In this paper, we identify a structural property of system state-spaces, which we call quasi-cyclic structure, that can be leveraged to significantly reduce… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS
14 Citations
14 References
Similar Papers


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

and Robby

  • M. B. Dwyer, J. Hatcliff, V. R. Prasad
  • Using static and dynamic escape analysis to…
  • 2003

Event correlation: A formal approach

  • H. Sipma
  • Technical Report Draft, Stanford University, July
  • 2002
1 Excerpt

Model Checking

  • E. Clarke, O. Grumberg, D. Peled
  • MIT Press,
  • 2000
2 Excerpts

Reducing avionics software cost through component based product line development

  • D. Sharp
  • In Proceedings of the Software Technology…
  • 1998
1 Excerpt

Similar Papers

Loading similar papers…