Fig. 2From: A symbolic model checking approach in formal verification of distributed systemsThe flowchart diagram of the design layerBack to article page