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