Figure 3From: MapReduce for parallel trace validation of LTL propertiesThe different steps of MapReduce data processing.Back to article page