VLDL Satisfiability and Model Checking via Tree Automata.
Alexander WeinertPublished in: FSTTCS (2017)
Keyphrases
- tree automata
- model checking
- finite state
- temporal logic
- satisfiability problem
- bounded model checking
- regular expressions
- model checker
- symbolic model checking
- formal verification
- timed automata
- formal specification
- temporal properties
- pspace complete
- finite automata
- automated verification
- phase transition
- computation tree logic
- verification method
- transition systems
- epistemic logic
- formal methods
- linear temporal logic
- context free
- modal logic
- propositional logic
- np complete
- computational complexity
- markov chain
- learning algorithm
- decision procedures
- databases
- matching algorithm
- fuzzy logic
- reinforcement learning
- database systems