Fig. 5
From: A symbolic model checking approach in formal verification of distributed systems
The symbolic code layer architecture of the GSMT framework
Fig. 5 | Human-centric Computing and Information Sciences
From: A symbolic model checking approach in formal verification of distributed systems
The symbolic code layer architecture of the GSMT framework