Space Reductions for Model Checking Quasi-Cyclic Systems (2003) [8 citations — 7 self]
Download:
http://projects.cis.ksu.edu/docman/view.php/16/37/
http://projects.cis.ksu.edu/docman/view.php/8/18/S
DBLP
CACHED:
http://projects.cis.ksu.edu/docman/view.php/16/37/
http://projects.cis.ksu.edu/docman/view.php/8/18/S
DBLP
CACHED:
by
Matthew B. Dwyer
,
Robby
,
Xianghua Deng
,
John Hatcliff
In Proceedings of the 3rd International Conference on Embedded Software
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Dwyer03spacereductions,
author = {Matthew B. Dwyer and Robby and Xianghua Deng and John Hatcliff},
title = {Space Reductions for Model Checking Quasi-Cyclic Systems},
booktitle = {In Proceedings of the 3rd International Conference on Embedded Software},
year = {2003},
pages = {173--189},
publisher = {Springer}
}
author = {Matthew B. Dwyer and Robby and Xianghua Deng and John Hatcliff},
title = {Space Reductions for Model Checking Quasi-Cyclic Systems},
booktitle = {In Proceedings of the 3rd International Conference on Embedded Software},
year = {2003},
pages = {173--189},
publisher = {Springer}
}
Years of Citing Articles
Bookmarks
OpenURL
Abstract:
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.
