Fig. 12From: A symbolic model checking approach in formal verification of distributed systemsThe LTS window in the GSMT frameworkBack to article page