Fig. 11From: A symbolic model checking approach in formal verification of distributed systemsThe automated model checking environment of the Example 1Back to article page