Bounded Model Checking for Weak Alternating Büchi Automata.
Keijo HeljankoTommi A. JunttilaMisa KeinänenMartin LangeTimo LatvalaPublished in: CAV (2006)
Keyphrases
- bounded model checking
- model checking
- formal verification
- finite state
- linear temporal logic
- temporal logic
- finite state machines
- cellular automata
- finite automata
- multi agent systems
- regular expressions
- knowledge base
- model checker
- formal specification
- lattice gas
- probabilistic automata
- search space
- reinforcement learning