C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A decision procedure and complete axiomatization for projection temporal logic.
Xinfeng Shu
Zhenhua Duan
Hongwei Du
Published in:
Theor. Comput. Sci. (2020)
Keyphrases
</>
temporal logic
complete axiomatization
model checking
modal logic
satisfiability problem
concurrent systems
belief revision
verification method
mazurkiewicz traces
transition systems
linear temporal logic
inference rules
temporal knowledge
computation tree logic
formal verification
bounded model checking