Figure 5From: MapReduce for parallel trace validation of LTL propertiesPseudo-code for the LTL Reducers.Back to article page