Space reductions for model checking quasi-cyclic systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2855, Issue , 2003, Pages 173-189

  Dwyer, Matthew B ^a   Robby, ^a   Deng, Xianghua ^a   Hatcliff, John ^a  

^a Sunflower Networking Group   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); EMBEDDED SYSTEMS; REAL TIME SYSTEMS; SEARCH ENGINES; SPACE RESEARCH; SPEECH RECOGNITION; STRUCTURAL PROPERTIES;

BEHAVIORAL MODEL; DOMAIN SPECIFIC; REAL-TIME EMBEDDED SYSTEMS; SPACE CONSUMPTION; SPACE EFFICIENT; SPACE REDUCTIONS; SPACE REQUIREMENTS; STATE SPACE EXPLORATION;

MODEL CHECKING;

EID: 0142218957     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45212-6_12     Document Type: Article

References (14)

1. http://cadena.projects.cis.ksu.edu, 2003.
2. D. Bosnacki, D. Dams, and L. Holenderski. Symmetric spin. In International Journal on Software Tools for Technology Transfer. Springer-Verlag, 2002.
3. W. Chan, R. J. Anderson, P. Beame, D. Notkin, D. H. Jones, and W. E. Warner. Optimizing symbolic model checking for statecharts. IEEE Transactions on Software Engineering, 27(2):170-190, 2001.
4. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 2000.
5. W. Deng, M. Dwyer, J. Hatcliff, G. Jung, and Robby. Model-checking middleware-based event-driven real-time embedded software. In Proceedings of the 1st International Symposium on Formal Methods for Component and Objects, 2002.
6. M. Dyer. The Cleanroom Approach to Quality Software Development. Wiley, 1992.
7. P. Godefroid. Model-checking for programming languages using VeriSoft. In Proceedings of the 24th ACM Symposium on Principles of Programming Languages (POPL'97), pages 174-186, Jan. 1997.
8. P. Godefroid, G. J. Holzmann, and D. Pirottin. State-space caching revisited. In G. von Bochmann and D. K. Probst, editors, Proc. Fourth International Conference on Computer Aided Verification, volume 663 of Lecture Notes in Computer Science, pages 178-191. Springer, June 1993.
9. J. Hatcliff, W. Deng, M. Dwyer, G. Jung, and V. Prasad. Cadena: An integrated development, analysis, and verification environment for component-based systems. In Proceedings of the 25th International Conference on Software Engineering, 2003.
10. T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Proceedings of the 29th ACM Symposium on Principles of Programming Languages, pages 58-70, Jan. 2002.
11. G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-294, May 1997.
12. R. Iosif. Symmetry reduction criteria for software model checking. In Proceedings of Ninth International SPIN Workshop, volume 2318 of Lecture Notes in Computer Science, pages 22-41. Springer-Verlag, Apr. 2002.
13. Robby, M. B. Dwyer, and J. Hatcliff. Bogor: An extensible and highly-modular model checking framework. In Proceedings of the 9th European Software Engineering Conference held jointly with the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2003.
14. D. Sharp. Reducing avionics software cost through component based product line development. In Proceedings of the Software Technology Conference, Apr. 1998.