Skip to main content
Search
Get published
Explore Journals
Books
About
My account
Search all SpringerOpen articles
Search
Journal of Cloud Computing
Advances, Systems and Applications
About
Articles
Submission Guidelines
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
Back to article page