Research Article
Improving Model Checking with Context Modelling
Table 4
Exploration and analyze of
with OBP Explorer with context splitting using OBP.
| | Number of devices | Exploration time (sec) | Number of sub-contexts | Number of LTS configurations | Number of LTS transitions |
| | 4 | 954 | 22 | 16,450,288 | 75,362,832 | | 5 | 1,256 | 28 | 33,568,422 | 156,743,290 | | 6 | 3,442 | 242 | 68,880,326 | 368,452,864 | | 7 | 6,480 | 344 | 126,450,324 | 634,382,590 |
|
|
