Model checking dynamic states in GROOVE

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

Volumn 3925 LNCS, Issue , 2006, Pages 299-305

  Kastenberg, Harmen ^a   Rensink, Arend ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; GRAPH THEORY; LARGE SCALE SYSTEMS; OBJECT ORIENTED PROGRAMMING; STATE SPACE METHODS; SYSTEMS ANALYSIS;

BIT VECTORS; EXPLICIT STATE MODELING; MODEL-CHECKING COMPLEX SYSTEMS; OBJECT-ORIENTED SYSTEMS;

COMPUTER SOFTWARE;

EID: 33745787504     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11691617_19     Document Type: Conference Paper

References (13)

1. T. Ball and S. K. Rajamani. The SLAM project: Debugging system software via static analysis. In 29th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL), pages 1-3. ACM Press, 2002.
2. S. Chaki, E. Clarke, A. Groce, S. Jha, and H. Veith. Modular verification of software components in C. IEEE Trans. Softw. Eng., 30(6):388-402, 2004.
3. E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proceedings of the IBM Workshop on Logics of Programs, volume 131 of Lecture Notes in Computer Science, pages 52-71. Springer, 1982.
4. A. Habel, R. Heckel, and G. Taentzer. Graph grammars with negative application conditions. Fundamenta Informaticae, 26(3-4):287-313, 1996.
5. K. Havelund and T. Pressburger. Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer, 2(4), 2000.
6. T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Software verification with BLAST. In T. Ball and S. K. Rajamani, editors, SPIN Workshop on Model Checking Software, volume 2648 of Lecture Notes in Computer Science, pages 235-239. Springer, 2003.
7. G. J. Holzmann. The Spin Model Checker - Primer and Reference Manual. Addison-Wesley, 2003.
8. H. Kastenberg, A. Kleppe, and A. Rensink. Engineering object-oriented semantics using graph transformations. Technical report, Department of Computer Science, University of Twente, 2005. Pre-final version available at http://www.cs.utwente.nl/~rensink/papers/taal-draft.pdf.
9. A. Rensink. The GROOVE Simulator: A tool for state space generation. In J. L. Pfaltz, M. Nagl, and B. Bohlen, editors, Applications of Graph Transformations with Industrial Relevance (AGTIVE), volume 3062 of Lecture Notes in Computer Science, pages 479-485. Springer, 2004.
10. A. Rensink. Representing first-order logic using graphs. In H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg, editors, International Conference on Graph Transformations (ICGT), volume 3256 of Lecture Notes in Computer Science, pages 319-335. Springer, 2004.
11. A. Rensink. Time and space issues in the generation of graph transition systems. In International Workshop on Grnph-Based Tools (GraBaTs), volume 127 of Electronic Notes in Theoretical Computer Science, pages 127-139, 2005.
12. A. Rensink and D. Distefano. Abstract graph transformation. In International Workshop on Software Verification and Validation (SVV), Electronic Notes in Theoretical Computer Science, 2005. To appear. Technical report version: CTIT TR-CTIT-05-04, University of Twente.
13. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, volume 1: Foundations. World Scientific, 1997.