Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover.
Bo GuoMahadevan SubramaniamPublished in: SEFM (2008)
Keyphrases
- theorem prover
- finite state machines
- theorem proving
- model checking
- term rewriting
- first order logic
- automated theorem proving
- finite state automata
- inference rules
- computer algebra
- formal proof
- proof search
- formal semantics
- natural deduction
- mathematical knowledge
- databases
- formal model
- building blocks
- object oriented
- hidden markov models