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

The symbolic code layer architecture of the GSMT framework
From: A symbolic model checking approach in formal verification of distributed systems
The symbolic code layer architecture of the GSMT framework