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
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