Research Article
Improving Model Checking with Context Modelling
Table 3
Exploration and model checking of
with TINA-SELT with context splitting using OBP.
| | Number of devices | Exploration time (sec) | Number of sub-contexts | Number of LTS configurations | Number of LTS transitions |
| | 5 | 112 | 3 | 2,233,959 | 9,875,418 | | 6 | 2,150 | 42 | 32,185,530 | 158,230,583 | | 7 | 4,209 | 56 | 66,398,542 | 330,148,458 |
|
|
