Pages that link to "Item:Q5899066"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5899066):
Displayed 6 items.
- Program verification using symbolic game semantics (Q477213) (← links)
- Verifying annotated program families using symbolic game semantics (Q1680558) (← links)
- Handshake Games (Q2864210) (← links)
- Game Semantics in the Nominal Model (Q3178282) (← links)
- Compositional Predicate Abstraction from Game Semantics (Q3617753) (← links)
- On-the-Fly Techniques for Game-Based Software Model Checking (Q5458322) (← links)