Fig. 6From: A symbolic model checking approach in formal verification of distributed systemsa The original model. b The reduced model of the GSMT reduction algorithmBack to article page