Table 2 Test cases of the GSMT analysis
From: A symbolic model checking approach in formal verification of distributed systems
| Test case | No. states | No. Trans |
|---|---|---|
| Case 1 | 10 | 8 |
| Case 2 | 50 | 70 |
| Case 3 | 100 | 150 |
| Case 4 | 500 | 650 |
| Case 5 | 1000 | 1250 |
| Case 6 | 5000 | 5700 |
| Case 7 | 10,000 | 13,500 |
| Case 8 | 20,000 | 27,000 |
| Case 9 | 50,000 | 65,000 |
| Case 10 | 100,000 | 155,000 |