Advances, Systems and Applications
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 % |
Advances, Systems and Applications
From: MapReduce for parallel trace validation of LTL properties
Property #1 | Property #2 | Property #3 | Property #4 | |
|---|---|---|---|---|
Sequential ratio | 100 % | 92 % | 19 % | 3 % |