Figure 6From: MapReduce for parallel trace validation of LTL propertiesPseudo-code for the LTL output writer.Back to article page