Skip to main content

Advances, Systems and Applications

Table 1 The total number of tuples produced for the validation of each properties on traces of increasing sizes

From: MapReduce for parallel trace validation of LTL properties

Trace size

P1

P2

P3

P4

11

14

17

20

221

180,035

180,062

346,642

815,449

8,194,477

1,770,922

1,770,938

3,409,468

8,010,419

80,552,405

3,523,211

3,523,218

6,782,937

15,938,586

> 54 M

9,025,596

9,025,603

17,375,057

40,830,370

Ratio

1

1.9

4.5

45