scientific article
From MaRDI portal
Publication:2852078
zbMath1273.68196MaRDI QIDQ2852078
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002271
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (10)
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 ⋮ A framework for the verification of infinite-state graph transformation systems ⋮ Application of Graph Transformation in Verification of Dynamic Systems ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ Sound and Complete Abstract Graph Transformation ⋮ Modeling and Verifying Graph Transformations in Proof Assistants
This page was built for publication:
