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

Verification time of test cases verification in original and reduced models
From: A symbolic model checking approach in formal verification of distributed systems
Verification time of test cases verification in original and reduced models