Pages that link to "Item:Q5100737"
From MaRDI portal
The following pages link to Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Q5100737):
Displaying 9 items.
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Compositional analysis of probabilistic timed graph transformation systems (Q2044184) (← links)
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Incorrectness logic for graph programs (Q2117260) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (Q5100739) (← links)
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620) (← links)
- Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction (Q6487310) (← links)
- Compositional analysis of probabilistic timed graph transformation systems (Q6611954) (← links)