Login / Signup
Partial order reduction for checking LTL formulae with the next-time operator.
Shuanglong Kan
Zhiqiu Huang
Zhe Chen
Weiwei Li
Yutao Huang
Published in:
J. Log. Comput. (2017)
Keyphrases
</>
model checking
partial order reduction
temporal logic
bounded model checking
formal verification
linear temporal logic
transition systems
linear time temporal logic
data sets
neural network
real world
information systems
data structure
knowledge representation
modal logic