Improving Model Checking with Context Modelling

Table 1

Table highlighting the verification complexity for the case study with TINA-SELT.

𝑁 (Number of devices)	Exploration and model checking time (sec)	Number of LTS configurations	Number of LTS transitions
1	1	22,977	103,354
2	3	172,095	759,094
3	10	718,623	3,127,468
4	27	2,174,997	9,371,560
5	Explosion	—	—