Publication:2852078
From MaRDI portal
zbMath1273.68196MaRDI QIDQ2852078
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002271
68Q60: Specification and verification (program logics, model checking, etc.)
68Q42: Grammars and rewriting systems
Related Items
A framework for the verification of infinite-state graph transformation systems, Modeling and Verifying Graph Transformations in Proof Assistants, The Edge of Graph Transformation — Graphs for Behavioural Specification, Sound and Complete Abstract Graph Transformation, Explicit State Model Checking for Graph Grammars, Mind the Shapes: Abstraction Refinement Via Topology Invariants, Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems, Abstracting Complex Data Structures by Hyperedge Replacement, Towards the Verification of Attributed Graph Transformation Systems, Application of Graph Transformation in Verification of Dynamic Systems