Verifying object-based graph grammars

MaRDI QIDQ2847855zbMATH OpenFDO

Authors Osmar Marchi Dos Santos, Fernando Luís Dotti, Leila Ribeirp

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104052144

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Formal verification of object-oriented graph grammars specifications
• Verification of graph grammars using a logical approach
• Verigraph: a system for specification and analysis of graph grammars
• Formal verification of graph grammars using mathematical induction
• Abstraction of object graphs in program verification
• Triple Graph Grammars and OCL for Validating System Behavior
• Graph Transformations
• CONCUR 2004 - Concurrency Theory

Cited in

(9)

• Specification patterns for properties over reachable states of graph grammars
• Correct transformation: from object-based graph grammars to PROMELA
• Verigraph: a system for specification and analysis of graph grammars
• Verification of distributed object-based systems.
• Formal verification of graph grammars using mathematical induction
• Formal verification of object-oriented graph grammars specifications
• Process specification and verification
• Code generation for parallel applications modelled with object-based graph grammars
• Stochastic object-based graph grammars

This page was built for publication: Verifying object-based graph grammars

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847855)