Analysis of graph transformation systems: native vs translation-based techniques
From MaRDI portal
Publication:5020535
Recommendations
- On the Use of Alloy to Analyze Graph Transformation Systems
- Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions
- Preface to the special issue on the 10th international conference on graph transformation
- Analysing graph transformation systems through constraint handling rules
- Formal Methods in Software and Systems Modeling
Cites work
- scientific article; zbMATH DE number 1629832 (Why is no real title available?)
- scientific article; zbMATH DE number 1809861 (Why is no real title available?)
- scientific article; zbMATH DE number 1183250 (Why is no real title available?)
- scientific article; zbMATH DE number 177461 (Why is no real title available?)
- scientific article; zbMATH DE number 1231489 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 2016074 (Why is no real title available?)
- scientific article; zbMATH DE number 2084431 (Why is no real title available?)
- scientific article; zbMATH DE number 1863175 (Why is no real title available?)
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Constructing optimized validity-preserving application conditions for graph transformation rules
- Correctness of high-level transformation systems relative to nested conditions
- Critical pairs in term graph rewriting
- Development of Correct Graph Transformation Systems
- Formal techniques for distributed systems. Joint IFIP WG 6.1 international conference, FMOODS/FORTE 2013, held as part of the 8th international federated conference on distributed computing techniques, DisCo Tec 2013, Florence, Italy, June 3--5, 2013. Pro
- Fundamentals of algebraic graph transformation
- Graph Transformations
- Graph Transformations
- Graph transformation units guided by a SAT solver
- Hoare-style verification of graph programs
- Initial conflicts and dependencies: critical pairs revisited
- Interactive and automated proofs for graph transformations
- Isabelle/HOL. A proof assistant for higher-order logic
- Lemma Learning in the Model Evolution Calculus
- Local Confluence for Rules with Nested Application Conditions
- Modular termination of graph transformation
- On the Use of Alloy to Analyze Graph Transformation Systems
- Resolution-Like Theorem Proving for High-Level Conditions
- Rewriting abstract structures: materialization explained categorically
- Sound and complete abstract graph transformation
- Symbolic model generation for graph properties
- Termination Analysis of Model Transformations by Petri Nets
- Theoretical Aspects of Computing – ICTAC 2005
- Towards the Verification of Attributed Graph Transformation Systems
- Towards the automated generation of consistent, diverse, scalable and realistic graph models
- Verification of graph transformation systems with context-free specifications
- Verifying graph transformation systems with description logics
Cited in
(7)- scientific article; zbMATH DE number 1863175 (Why is no real title available?)
- scientific article; zbMATH DE number 7456054 (Why is no real title available?)
- Graph Transformations
- Exploring conflict reasons for graph transformation systems
- Computational category-theoretic rewriting
- Computational Category-Theoretic Rewriting
- Lessons Learned from Building a Graph Transformation System
Describes a project that uses
Uses Software
This page was built for publication: Analysis of graph transformation systems: native vs translation-based techniques
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020535)
