Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata.
Julian BrunnerPublished in: IFM (2020)
Keyphrases
- formal verification
- model checking
- formal specification
- finite state
- finite state machines
- model checker
- bounded model checking
- automated verification
- symbolic model checking
- temporal logic
- finite automata
- program slicing
- cellular automata
- tree automata
- functional verification
- artificial intelligence
- formal methods
- regular expressions
- information gain
- optimal policy
- knowledge based systems