Advances, Systems and Applications
Table 5 Shorthand symbols can be assigned to each subformula of the property to verify
From: MapReduce for parallel trace validation of LTL properties
Formula | Symbol |
|---|---|
a | 0 |
b | 1 |
¬c | 2 |
a∨b | 3 |
F (a∨b) | 4 |
¬c∨(F (a∨b)) | 5 |
G (¬c∨(F (a∨b))) | 6 |