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