Bounded Model Checking with SNF, Alternating Automata, and Bu"chi Automata.
Daniel SheridanPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- bounded model checking
- finite automata
- cellular automata
- finite state
- tree automata
- regular expressions
- probabilistic automata
- lattice gas
- model checking
- finite state machines
- formal verification
- xml schema
- finite automaton
- data sets
- orders of magnitude
- domain specific
- general purpose
- search space
- cooperative
- reinforcement learning
- neural network