Monadic second-order definable graph transductions: a survey
Theoretical Computer Science - Selected papers of the 17th Colloquium on Trees in Algebra and Programming (CAAP '92) and of the European Symposium on Programming (ESOP), Rennes, France, Feb. 1992
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Specification of mobile code system using graph grammars
Fourth International Conference on Formal methods for open object-based distributed systems IV
Computer Networks
Approximating the Behaviour of Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Handbook of automated reasoning
Handbook of automated reasoning
Unfolding semantics of graph transformation
Information and Computation
Formal Software Analysis Emerging Trends in Software Model Checking
FOSE '07 2007 Future of Software Engineering
Modeling and Verifying Graph Transformations in Proof Assistants
Electronic Notes in Theoretical Computer Science (ENTCS)
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
A formal framework for the development of concurrent object-based systems
Formal Methods in Software and Systems Modeling
Recognizable sets of graphs, hypergraphs and relational structures: a survey
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
On the use of alloy to analyze graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Correct transformation: From object-based graph grammars to PROMELA
Science of Computer Programming
Verification of graph grammars using a logical approach
Science of Computer Programming
Locality in reasoning about graph transformations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Specification patterns for properties over reachable states of graph grammars
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
| Hi-index | 0.00 |
Graph grammars are a formal description technique suitable for the specification of distributed and reactive systems. Model-checking of graph grammars is currently supported by various approaches. However, in many situations the use of this technique can be very time and space consuming, hindering the verification of properties of many systems. This work proposes a relational and logical approach to graph grammars that allows formal verification of systems using mathematical induction. We use relational structures to define graph grammars and first-order logic to model graph transformations. This approach allows proving properties of systems with infinite state-spaces.