Fig. 1From: A symbolic model checking approach in formal verification of distributed systemsThe GSMT architectureBack to article page