Formal verification of object-oriented graph grammars specifications

DOI10.1016/J.ENTCS.2007.04.020MaRDI QIDQ2867893zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• {{#invoke:WikidataIB|getLink|Q4222871}} scientific article; zbMATH DE number 1231556 (Why is no real title available?)
• {{#invoke:WikidataIB|getLink|Q4471664}} scientific article; zbMATH DE number 2079639 (Why is no real title available?)
• {{#invoke:WikidataIB|getLink|Q4890710}} scientific article; zbMATH DE number 919845 (Why is no real title available?)
• {{#invoke:WikidataIB|getLink|Q4953875}} scientific article; zbMATH DE number 1446599 (Why is no real title available?)
• {{#invoke:WikidataIB|getLink|Q5311499}} CONCUR 2004 - Concurrency Theory
• {{#invoke:WikidataIB|getLink|Q5292612}} Graph Transformations
• {{#invoke:WikidataIB|getLink|Q5902539}} Towards object-oriented graphs and grammars.
• {{#invoke:WikidataIB|getLink|Q5902550}} Verification of distributed object-based systems.

Cited in

(11)

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

Describes a project that uses

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)