Formal verification of object-oriented graph grammars specifications

DOI10.1016/J.ENTCS.2007.04.020zbMATH Open1278.68183OpenAlexW2013112009MaRDI QIDQ2867893FDOQ2867893

Authors: Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro 

Publication date: 20 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.04.020

Recommendations

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

zbMATH Keywords

model checkingobject-oriented programminggraph grammars

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cites Work

• Title not available (Why is that?)
• Graph Transformations
• Title not available (Why is that?)
• Verification of distributed object-based systems.
• Title not available (Why is that?)
• CONCUR 2004 - Concurrency Theory
• Towards object-oriented graphs and grammars.
• Title not available (Why is that?)

Cited In (11)

• Automatically verifying an object-oriented specification of the Steam-Boiler system
• Tendencies in verifying object-oriented software
• Correct transformation: from object-based graph grammars to PROMELA
• Using programmed graph rewriting for the formal specification of a configuration management system
• Verification of distributed object-based systems.
• Explicit State Model Checking for Graph Grammars
• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• Towards automated software model checking using graph transformation systems and bogor
• Verifying object-based graph grammars
• A graph-based generic type system for object-oriented programs
• Translating controlled graph grammars to ordinary graph grammars

Uses Software

• SPIN
• PROMELA
• GROOVE
• GXL

This page was built for publication: Formal verification of object-oriented graph grammars specifications

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