Pages that link to "Item:Q436370"
From MaRDI portal
The following pages link to Verification of graph grammars using a logical approach (Q436370):
Displaying 9 items.
- Translating controlled graph grammars to ordinary graph grammars (Q529641) (← links)
- Logical description of context-free graph languages (Q1384534) (← links)
- Verigraph: a system for specification and analysis of graph grammars (Q1784784) (← links)
- Incorrectness logic for graph programs (Q2117260) (← links)
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (Q2355681) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Verifying object-based graph grammars (Q2847855) (← links)
- Formal verification of object-oriented graph grammars specifications (Q2867893) (← links)
- Interactive and automated proofs for graph transformations (Q4585009) (← links)