Graph grammars with negative application conditions
Fundamenta Informaticae - Special issue on graph transformations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
The SLAM project: debugging system software via static analysis
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Modular Verification of Software Components in C
IEEE Transactions on Software Engineering
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Time and Space Issues in the Generation of Graph Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Software verification with BLAST
SPIN'03 Proceedings of the 10th international conference on Model checking software
Modeling and Verification of Reliable Messaging by Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic Partial Order Reduction Using Probe Sets
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Abstracting Complex Data Structures by Hyperedge Replacement
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Modeling of correct self-adaptive systems: a graph transformation system based approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Application of Graph Transformation in Verification of Dynamic Systems
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Graph-based specification and simulation of featherweight Java with around advice
Proceedings of the 2009 workshop on Foundations of aspect-oriented languages
Model Checking Dynamic Memory Allocation in Operating Systems
Journal of Automated Reasoning
Detection and Resolution of Weaving Interactions
Transactions on Aspect-Oriented Software Development V
Analysis of UML activities using dynamic meta modeling
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Graph grammar modeling and verification of ad hoc routing protocols
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Graph grammar modeling and verification of ad hoc routing protocols
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Henshin: advanced concepts and tools for in-place EMF model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Checking the correspondence between UML models and implementation
RV'10 Proceedings of the First international conference on Runtime verification
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
Journal of Visual Languages and Computing
Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
Correct transformation: From object-based graph grammars to PROMELA
Science of Computer Programming
Formal analysis and verification of self-healing systems
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Realizing graph transformations by pre- and postconditions and command sequences
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Heuristic search for the analysis of graph transition systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Graph transformations for MDE, adaptation, and models at runtime
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Probabilistic graph transformation systems
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Modeling and verifying dynamic communication structures based on graph transformations
Computer Science - Research and Development
A discipline-spanning development process for self-adaptive mechatronic systems
Proceedings of the 2013 International Conference on Software and System Process
GReTL: an extensible, operational, graph-based transformation language
Software and Systems Modeling (SoSyM)
A survey and comparison of transformation tools based on the transformation tool contest
Science of Computer Programming
| Hi-index | 0.00 |
Much research has been done in the field of model-checking complex systems (either hardware or software). Approaches that use explicit state modelling mostly use bit vectors to represent the states of such systems. Unfortunately, that kind of representation does not extend smoothly to systems in which the states contain values from a domain other than primitive types, such as reference values commonly used in object-oriented systems. In this paper we report preliminary results on applying CTL model checking on state spaces generated using graph transformations. The states of such state spaces have an internal graph structure which makes it possible to represent complex system states without the need to know the exact structure beforehand as when using bit vectors.