Fig. 16From: A symbolic model checking approach in formal verification of distributed systemsGeneration time of final code in translator frameworksBack to article page