Pages that link to "Item:Q1886449"
From MaRDI portal
The following pages link to Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449):
Displaying 6 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Parametrized invariance for infinite state processes (Q493122) (← links)
- Parameterized model checking of networks of timed automata with Boolean guards (Q1989334) (← links)
- A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442) (← links)
- Directed reachability for infinite-state systems (Q2233488) (← links)
- Towards a Thread-Local Proof Technique for Starvation Freedom (Q2814127) (← links)
