Cargando…
STMC: Statistical Model Checker with Stratified and Antithetic Sampling
[Image: see text] is a statistical model checker that uses antithetic and stratified sampling techniques to reduce the number of samples and, hence, the amount of time required before making a decision. The tool is capable of statistically verifying any black-box probabilistic system that [Image: se...
| Autores principales: | , , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363213/ http://dx.doi.org/10.1007/978-3-030-53291-8_23 |