Statistical probabilistic model checking with a focus on time-bounded properties (Q2509358)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Statistical probabilistic model checking with a focus on time-bounded properties |
scientific article |
Statements
Statistical probabilistic model checking with a focus on time-bounded properties (English)
0 references
19 October 2006
0 references
probabilistic verification
0 references
stochastic processes
0 references
temporal logic
0 references
hypothesis testing
0 references
acceptance sampling
0 references
transient analysis
0 references
0 references
