Fig. 5From: A symbolic model checking approach in formal verification of distributed systemsThe symbolic code layer architecture of the GSMT frameworkBack to article page