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