Figure 4From: MapReduce for parallel trace validation of LTL propertiesPseudo-code for the LTL Input Reader (a) and Mapper (b).Back to article page