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	[0.9𝐸−06, 1.50𝐸−06]
10.0	517	661.5	2373652	[3.2𝐸−06, 3.8𝐸−06]
20.0	517	1293	2373652	[8.8𝐸−06, 9.4𝐸−06]
30.0	517	1453	2373652	[1.45𝐸−05, 1.51𝐸−05]
50.0	517	2096	2373652	[2.61𝐸−05, 2.67𝐸−05]