SAT-Based Explicit LTL Reasoning.
Jianwen LiShufang ZhuGeguang PuMoshe Y. VardiPublished in: Haifa Verification Conference (2015)
Keyphrases
- bounded model checking
- model checking
- formal verification
- linear temporal logic
- temporal logic
- knowledge base
- deterministic automata
- reasoning process
- reasoning tasks
- constraint solver
- automated reasoning
- ai planning
- spatial reasoning
- answer set programming
- legal reasoning
- qualitative reasoning
- finite automata
- case based reasoning