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
Fig. 15 | Human-centric Computing and Information Sciences
From: A symbolic model checking approach in formal verification of distributed systems
Verification time of test cases verification in original and reduced models