Fig. 11
From: A symbolic model checking approach in formal verification of distributed systems
The automated model checking environment of the Example 1
Fig. 11 | 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 1