On the Satisfiability of Indexed Linear Temporal Logics.
Taolue ChenFu SongZhilin WuPublished in: CONCUR (2015)
Keyphrases
- temporal logic
- satisfiability problem
- model checking
- mazurkiewicz traces
- automata theoretic
- modal logic
- concurrent systems
- decision procedures
- verification method
- bounded model checking
- belief revision
- temporal knowledge
- predicate logic
- linear temporal logic
- computation tree logic
- artificial intelligence
- transition systems
- epistemic logic
- reactive systems
- formal verification
- np complete