The following pages link to (Q5021228):
Displaying 6 items.
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Incorrectness logic for graph programs (Q2117260) (← links)
- Verifying graph programs with monadic second-order logic (Q2117269) (← links)
- Tool-Based Verification of a Relational Vertex Coloring Program (Q3460631) (← links)
- First-Order Logic on CPDA Graphs (Q4981168) (← links)
- (Q5021227) (← links)