Pages that link to "Item:Q2867893"
From MaRDI portal
The following pages link to Formal verification of object-oriented graph grammars specifications (Q2867893):
Displaying 11 items.
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- Translating controlled graph grammars to ordinary graph grammars (Q529641) (← links)
- Towards automated software model checking using graph transformation systems and bogor (Q1049792) (← links)
- Automatically verifying an object-oriented specification of the Steam-Boiler system (Q1870861) (← links)
- A graph-based generic type system for object-oriented programs (Q2418638) (← links)
- Verifying object-based graph grammars (Q2847855) (← links)
- Tendencies in verifying object-oriented software (Q2914589) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902550) (← links)
- Using programmed graph rewriting for the formal specification of a configuration management system (Q6184367) (← links)