Checking qualitative liveness properties of replicated systems with stochastic scheduling (Q2226750)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Checking qualitative liveness properties of replicated systems with stochastic scheduling |
scientific article |
Statements
Checking qualitative liveness properties of replicated systems with stochastic scheduling (English)
0 references
9 February 2021
0 references
parameterized verification
0 references
liveness
0 references
stochastic systems
0 references
