Tree Regular Model Checking for Lattice-Based Automata
Thomas GenetTristan Le GallAxel LegayValérie MuratPublished in: CoRR (2012)
Keyphrases
- model checking
- finite state
- timed automata
- finite state machines
- tree automata
- temporal logic
- temporal properties
- context free
- formal verification
- formal specification
- model checker
- automated verification
- symbolic model checking
- partial order reduction
- tree structure
- reachability analysis
- bounded model checking
- verification method
- formal methods
- process algebra
- transition systems
- computation tree logic
- asynchronous circuits
- epistemic logic
- deterministic finite automaton
- pspace complete
- tree search
- linear temporal logic
- theorem prover
- concurrent systems
- description language
- reactive systems
- theorem proving
- finite automata
- regular expressions