Research Article
A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains
Table 3
Experiments of PRISM and FSP method of INFAMY.
| Time bound | PRISM (sparse engine) | FSP | Time (s) (construct/M.C.ing) | Prob | Depth | Time (s) | | Prob |
| 5.0 | | | 16 | 5.7 | 4405 | [, ] | 10.0 | | | 22 | 20.7 | 8425 | [, ] | 20.0 | | | 33 | 113.9 | 19161 | [, ] | 30.0 | | | 42 | 353.6 | 31185 | [, | 50.0 | | | 57 | 1219.7 | 57705 | [, ] |
|
|