Size-Change Termination and Satisfiability for Linear-Time Temporal Logics.
Martin LangePublished in: FroCoS (2011)
Keyphrases
- temporal logic
- satisfiability problem
- model checking
- mazurkiewicz traces
- modal logic
- automata theoretic
- concurrent systems
- decision procedures
- bounded model checking
- verification method
- predicate logic
- computational complexity
- temporal knowledge
- np complete
- formal verification
- computation tree logic
- temporal resolution
- artificial intelligence
- worst case