Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives.
Rui WangWanwei LiuTun LiXiaoguang MaoJi WangPublished in: J. Appl. Math. (2013)
Keyphrases
- bounded model checking
- linear temporal logic
- model checking
- finite automata
- formal verification
- temporal logic
- finite state machines
- data warehouse
- finite state
- cellular automata
- business intelligence
- data integration
- data warehousing
- inference rules
- cooperative
- multi agent systems
- finite number
- learning algorithm
- grammatical inference