Fig. 15From: A symbolic model checking approach in formal verification of distributed systemsVerification time of test cases verification in original and reduced modelsBack to article page