Verification of graph grammars using a logical approach
DOI10.1016/J.SCICO.2010.02.006zbMATH Open1243.68211OpenAlexW2072621429MaRDI QIDQ436370FDOQ436370
Authors: 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
Recommendations
Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Formal Methods for the Design of Real-Time Systems
- Monadic second-order definable graph transductions: a survey
- Handbook of Graph Grammars and Computing by Graph Transformation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Developments in Language Theory
- Title not available (Why is that?)
- Towards attributed graphs in Groove (work in progress)
- Modeling and verifying graph transformations in proof assistants
- Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
- Towards the Verification of Attributed Graph Transformation Systems
- On the Use of Alloy to Analyze Graph Transformation Systems
- Title not available (Why is that?)
- Formal verification of graph grammars using mathematical induction
- Graph Transformations
- Computer Aided Verification
- Computer Aided Verification
- Verification of distributed object-based systems.
- Symbolic model checking with rich assertional languages
- Unfolding semantics of graph transformation
- A framework for the verification of infinite-state graph transformation systems
Cited In (15)
- Specification patterns for properties over reachable states of graph grammars
- Theorem proving graph grammars: strategies for discharging proof obligations
- CONCUR 2004 - Concurrency Theory
- Theorem proving graph grammars with attributes and negative application conditions
- A Temporal Graph Logic for Verification of Graph Transformation Systems
- Interactive and automated proofs for graph transformations
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
- Verigraph: a system for specification and analysis of graph grammars
- Logical description of context-free graph languages
- Formal verification of graph grammars using mathematical induction
- Formal verification of object-oriented graph grammars specifications
- Process specification and verification
- Verifying object-based graph grammars
- Incorrectness logic for graph programs
- Translating controlled graph grammars to ordinary graph grammars
Uses Software
This page was built for publication: Verification of graph grammars using a logical approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q436370)
