Satisfiability Degree Theory for Temporal Logic.
Jian LuoGuiming LuoMo XiaPublished in: IJCCI (ECTA-FCTA) (2011)
Keyphrases
- temporal logic
- satisfiability problem
- model checking
- modal logic
- automata theoretic
- concurrent systems
- decision procedures
- bounded model checking
- mazurkiewicz traces
- np complete
- verification method
- propositional logic
- model checker
- general theory
- transition systems
- computation tree logic
- belief revision
- reactive systems
- linear temporal logic
- search algorithm
- inference rules
- propositional theories
- formal specification language