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):
Displayed 9 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)
- Liveness by Invisible Invariants (Q3613081) (← links)
- Proving the Refuted: Symbolic Model Checkers as Proof Generators (Q5187831) (← links)
- Model Checking for Action Abstraction (Q5452711) (← links)