Pages that link to "Item:Q4571973"
From MaRDI portal
The following pages link to Model checking the full modal mu-calculus for infinite sequential processes (Q4571973):
Displaying 7 items.
- Efficient CTL model-checking for pushdown systems (Q402129) (← links)
- Model checking LTL with regular valuations for pushdown systems (Q1887158) (← links)
- Characteristic invariants in Hennessy-Milner logic (Q2182678) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Efficient CTL Model-Checking for Pushdown Systems (Q3090847) (← links)
- Model Checking Procedural Programs (Q3176375) (← links)
- Model checking the full modal mu-calculus for infinite sequential processes (Q4571973) (← links)
