The following pages link to Computer Aided Verification (Q5900671):
Displaying 9 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- Visibly pushdown modular games (Q515657) (← links)
- Verification of scope-dependent hierarchical state machines (Q948087) (← links)
- Reachability and recurrence in a modular generalization of annihilating random walks (and Lights-Out games) to hypergraphs (Q2344774) (← links)
- Modular strategies for recursive game graphs (Q2368953) (← links)
- Admissible Strategies in Infinite Games over Graphs (Q3182935) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- (Q4372463) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901915) (← links)
