Fig. 6
From: A symbolic model checking approach in formal verification of distributed systems
a The original model. b The reduced model of the GSMT reduction algorithm
Fig. 6 | Human-centric Computing and Information Sciences
From: A symbolic model checking approach in formal verification of distributed systems
a The original model. b The reduced model of the GSMT reduction algorithm