Creating Büchi Automata for Multi-valued Model Checking.
Stefan J. J. VijzelaarWan J. FokkinkPublished in: FORTE (2017)
Keyphrases
- multi valued
- model checking
- timed automata
- finite state
- finite state machines
- temporal logic
- formal specification
- model checker
- temporal properties
- automated verification
- formal verification
- boolean functions
- symbolic model checking
- transition systems
- tree automata
- verification method
- finite automata
- epistemic logic
- formal methods
- normal form
- computational complexity
- bounded model checking
- computation tree logic