Skip to main content

TableĀ 3 Comparison of the state space reduction for the test cases in GSMT

From: A symbolic model checking approach in formal verification of distributed systems

Case study Model State space reduction %
Original model Reduced model
No. states No. Trans No. states No. Trans
Case 1 10 8 8 13 17.65
Case 2 50 70 41 57 18.3
Case 3 100 150 77 120 23
Case 4 500 650 410 554 18.5
Case 5 1000 1250 832 1021 18.25
Case 6 5000 5700 4078 5287 18.1
Case 7 10,000 13,500 8268 11,752 18.9
Case 8 20,000 27,000 16,378 26,274 17.5
Case 9 50,000 65,000 42,680 61,723 18.2
Case 10 100,000 155,000 84,727 148,316 18.1