Abstract
Statistical model checking of unbounded time properties is challenging, because it requires an algorithm to estimate the measure of paths satisfying an unbounded until property from samples of finite length paths. In this paper, we survey all proposed algorithms for this problem, and critically evaluate them.
| Original language | English (US) |
|---|---|
| Article number | A008 |
| Pages (from-to) | 417-427 |
| Number of pages | 11 |
| Journal | International Journal on Software Tools for Technology Transfer |
| Volume | 17 |
| Issue number | 4 |
| DOIs | |
| State | Published - Aug 2015 |
Keywords
- PCTL
- Statistical model checking
- Unbounded until
ASJC Scopus subject areas
- Software
- Information Systems