Figure 7From: MapReduce for parallel trace validation of LTL propertiesRunning time for the validation of properties P1 (a) to P4 (d), using the four validtion methods presented in this paper.Back to article page