Login / Signup
Temporal Logic for Operator Precedence Words (text not included).
Michele Chiari
Published in:
ICTCS (2019)
Keyphrases
</>
temporal logic
text documents
model checking
keywords
english words
modal logic
concurrent systems
related words
word pairs
text corpus
syntactic categories
satisfiability problem
multiword
modal operators
computation tree logic
text mining
model checker
transition systems
verification method
n gram
linear temporal logic
mazurkiewicz traces
formal specification language
knowledge base
bounded model checking
text classification
temporally extended goals
partial order
inference rules