On the Relationship between LTL Normal Forms and Buechi Automata
Jianwen LiGeguang PuLijun ZhangZheng WangJifeng HeKim G. LarsenPublished in: CoRR (2012)
Keyphrases
- normal form
- deterministic automata
- finite automata
- model checking
- database design
- nested relations
- functional dependencies
- relational algebra
- finite state
- relational databases
- temporal logic
- bounded model checking
- database theory
- regular expressions
- tree automata
- finite state machines
- data dependencies
- formal definitions
- information content
- linear temporal logic
- prime implicates
- multi valued
- linear time temporal logic
- grammatical inference
- relational database theory
- relational model
- object oriented