Connection Based Strategies for Deciding Propositional Temporal Logic.
Subash ShankarJames R. SlaglePublished in: AAAI/IAAI (1997)
Keyphrases
- temporal logic
- model checking
- satisfiability problem
- modal logic
- mazurkiewicz traces
- first order logic
- concurrent systems
- computation tree logic
- verification method
- predicate logic
- model checker
- formal specification
- propositional logic
- reactive systems
- linear temporal logic
- belief revision
- formal verification
- search algorithm
- logical formulas
- search strategies
- transition systems
- temporally extended
- automata theoretic
- distributed systems