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 |