Skip to main content

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