Verifying a behavioural logic for graph transformation systems
zbMATH Open1271.68167MaRDI QIDQ2847775FDOQ2847775
Authors: Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König 
Publication date: 11 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051400
Recommendations
- Verifying graph transformation systems with description logics
- Verification of graph transformation systems with context-free specifications
- A Temporal Graph Logic for Verification of Graph Transformation Systems
- Towards the Verification of Attributed Graph Transformation Systems
- Modeling and verifying graph transformations in proof assistants
- Unfolding Graph Transformation Systems: Theory and Applications to Verification
- scientific article; zbMATH DE number 2090850
Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (12)
- The Edge of Graph Transformation — Graphs for Behavioural Specification
- Title not available (Why is that?)
- Verification of graph grammars using a logical approach
- CONCUR 2004 - Concurrency Theory
- A framework for the verification of infinite-state graph transformation systems
- A Temporal Graph Logic for Verification of Graph Transformation Systems
- Application of Graph Transformation in Verification of Dynamic Systems
- Title not available (Why is that?)
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
- Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006
- Exploiting over- and under-approximations for infinite-state counterpart models
- Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations
This page was built for publication: Verifying a behavioural logic for graph transformation systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847775)
