Research Article
A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains
Table 1
Experiments of forward-layered method of INFAMY.
| Time bound | Forward-layered | Depth | Time (s) | | Prob |
| 5.0 | 316 | 450 | 1668363 | [, ] | 10.0 | 517 | 661.5 | 2373652 | [, ] | 20.0 | 517 | 1293 | 2373652 | [, ] | 30.0 | 517 | 1453 | 2373652 | [, | 50.0 | 517 | 2096 | 2373652 | [, ] |
|
|