Formal Verification of Object-Oriented Graph Grammars Specifications

DOI10.1016/j.entcs.2007.04.020zbMath1278.68183OpenAlexW2013112009MaRDI QIDQ2867893

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

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

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

Related Items (5)

A graph-based generic type system for object-oriented programs ⋮ Explicit State Model Checking for Graph Grammars ⋮ Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs ⋮ Translating controlled graph grammars to ordinary graph grammars ⋮ Towards automated software model checking using graph transformation systems and bogor

Uses Software

• SPIN
• PROMELA
• GROOVE
• GXL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Graph Transformations
• CONCUR 2004 - Concurrency Theory
• Formal Methods for Open Object-Based Distributed Systems
• Formal Methods for Open Object-Based Distributed Systems

This page was built for publication: Formal Verification of Object-Oriented Graph Grammars Specifications