Fig. 14
From: A symbolic model checking approach in formal verification of distributed systems
The automated model checking environment of the Example 2
Fig. 14 | Human-centric Computing and Information Sciences
From: A symbolic model checking approach in formal verification of distributed systems
The automated model checking environment of the Example 2