Compositional Verification of the generalized Nonblocking Property using Abstraction and Canonical Automata.
Simon WareRobi MalikPublished in: Int. J. Found. Comput. Sci. (2013)
Keyphrases
- bounded model checking
- model checking
- high level
- cellular automata
- finite state machines
- learning algorithm
- hardware designs
- face verification
- finite state
- machine learning
- continuous queries
- temporal logic
- formal analysis
- finite automata
- tree automata
- asynchronous circuits
- canonical form
- relational databases
- finite automaton