Fig. 11
From: A symbolic model checking approach in formal verification of distributed systems

The automated model checking environment of the Example 1
From: A symbolic model checking approach in formal verification of distributed systems
The automated model checking environment of the Example 1