Skip to main content

Advances, Systems and Applications

Journal of Cloud Computing Cover Image

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
ab 3
F (ab) 4
¬c(F (ab)) 5
Gc(F (ab))) 6