Büchi-Automata guided Partial Order Reduction for LTL.
Torsten LiebkePublished in: PNSE@Petri Nets (2020)
Keyphrases
- model checking
- partial order reduction
- finite state
- timed automata
- finite state machines
- temporal logic
- bounded model checking
- linear temporal logic
- formal verification
- linear time temporal logic
- cellular automata
- automata theoretic
- information gain
- tree automata
- finite state automata
- transition systems
- symbolic model checking
- regular expressions
- data sets
- modal logic
- mutual information
- deterministic automata
- information retrieval