Pages that link to "Item:Q1663990"
From MaRDI portal
The following pages link to Verifying graph transformation systems with description logics (Q1663990):
Displaying 9 items.
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Incorrectness logic for graph programs (Q2117260) (← links)
- Parallel rewriting of attributed graphs (Q2215963) (← links)
- Verifying a behavioural logic for graph transformation systems (Q2847775) (← links)
- Modeling and verifying graph transformations in proof assistants (Q2870320) (← links)
- Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations (Q3447696) (← links)
- (Q5020535) (← links)
- Proving correctness of logically decorated graph rewriting systems (Q5369479) (← links)
- A rule-based procedure for graph query solving (Q6535512) (← links)