Research Article
Improving Model Checking with Context Modelling
Table 2
Table highlighting the verification complexity for the case study with OBP Explorer.
| | (Number of devices) | Exploration and analyze time (sec) | Number of LTS configurations
| Number of LTS transitions
|
| | 1 | 1 | 43,828 | 321,002 | | 2 | 4 | 350,256 | 2,475,392 | | 3 | 19 | 1,466,934 | 6,430,265 | | 4 | Explosion | — | — |
|
|
