Aalta: an LTL satisfiability checker over Infinite/Finite traces.
Jianwen LiYinbo YaoGeguang PuLijun ZhangJifeng HePublished in: SIGSOFT FSE (2014)
Keyphrases
- linear temporal logic
- bounded model checking
- finite sets
- satisfiability problem
- temporal logic
- deterministic automata
- finite automata
- model checking
- np complete
- propositional logic
- finite dimensional
- computational complexity
- formal verification
- finite number
- real numbers
- phase transition
- neural network
- finitely representable
- terminological reasoning
- decision procedures