Skip to main content

Advances, Systems and Applications

Journal of Cloud Computing Cover Image

Table 3 Sequential ratio each of the four properties P1–P4

From: MapReduce for parallel trace validation of LTL properties

  Property #1 Property #2 Property #3 Property #4
Sequential ratio 100 % 92 % 19 % 3 %