The following pages link to Module checking (Q1854407):
Displaying 30 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- Connectivity games over dynamic networks (Q391110) (← links)
- Refinement modal logic (Q476194) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Exploring the boundary of half-positionality (Q656821) (← links)
- Quantitatively fair scheduling (Q764298) (← links)
- Pushdown module checking (Q968362) (← links)
- Strategy logic (Q979080) (← links)
- Graded modalities in strategy logic (Q1641034) (← links)
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Model checking properties on reduced trace systems (Q1736621) (← links)
- Cycle detection in computation tree logic (Q1784962) (← links)
- Improving parity games in practice (Q2043434) (← links)
- Hierarchical cost-parity games (Q2210523) (← links)
- Uniform strategies, rational relations and jumping automata (Q2346407) (← links)
- Modular strategies for recursive game graphs (Q2368953) (← links)
- Schedulability of asynchronous real-time concurrent objects (Q2390036) (← links)
- Solving Parity Games Using an Automata-Based Algorithm (Q2830208) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- Querying Regular Graph Patterns (Q3189642) (← links)
- Enriched μ–Calculus Pushdown Module Checking (Q3498485) (← links)
- Practical Efficient Modular Linear-Time Model-Checking (Q3540089) (← links)
- ATL with Strategy Contexts and Bounded Memory (Q3605522) (← links)
- (Q4028366) (← links)
- (Q5015276) (← links)
- Verification: Theory and Practice (Q5305645) (← links)
- Formal Methods for Components and Objects (Q5311293) (← links)
- Program Complexity in Hierarchical Module Checking (Q5505563) (← links)
- Robust alternating-time temporal logic (Q6545584) (← links)
