Temporal Logic for Operator Precedence Words (text not included).
Michele ChiariPublished 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