Pages that link to "Item:Q2643076"
From MaRDI portal
The following pages link to When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus (Q2643076):
Displayed 7 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Improved model checking of hierarchical systems (Q418123) (← links)
- Model checking properties on reduced trace systems (Q1736621) (← links)
- Compositional verification and 3-valued abstractions join forces (Q2266991) (← links)
- Conway Games, Coalgebraically (Q2888495) (← links)
- Equivalences and Congruences on Infinite Conway Games (Q2889179) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)