An Automated Proof Technique for Finite-State Machine Equivalence.
Wenbo MaoGeorge J. MilnePublished in: CAV (1991)
Keyphrases
- finite state machines
- finite state automata
- model checking
- semi automated
- state machine
- hidden markov models
- automated theorem provers
- digital circuits
- state transition
- theorem proving
- regular expressions
- theorem prover
- fully automated
- equivalence relation
- cellular automaton
- linear logic
- relational data
- functional units
- semi automatic