Verification of graph grammars using a logical approach
From MaRDI portal
Publication:436370
DOI10.1016/j.scico.2010.02.006zbMath1243.68211OpenAlexW2072621429MaRDI QIDQ436370
Simone André da Costa, Leila Ribeiro
Publication date: 20 July 2012
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2010.02.006
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Theorem proving graph grammars with attributes and negative application conditions ⋮ Interactive and automated proofs for graph transformations ⋮ Translating controlled graph grammars to ordinary graph grammars ⋮ Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unfolding semantics of graph transformation
- A framework for the verification of infinite-state graph transformation systems
- Monadic second-order definable graph transductions: a survey
- Modeling and Verifying Graph Transformations in Proof Assistants
- Towards the Verification of Attributed Graph Transformation Systems
- On the Use of Alloy to Analyze Graph Transformation Systems
- Handbook of Graph Grammars and Computing by Graph Transformation
- Formal Verification of Graph Grammars using Mathematical Induction
- Graph Transformations
- Computer Aided Verification
- Computer Aided Verification
- Formal Methods for the Design of Real-Time Systems
- Developments in Language Theory
- Formal Methods for Open Object-Based Distributed Systems
- Symbolic model checking with rich assertional languages
This page was built for publication: Verification of graph grammars using a logical approach
