Login / Signup
A simple theorem prover based on symbolic trajectory evaluation and BDD's.
Scott Hazelhurst
Carl-Johan H. Seger
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1995)
Keyphrases
</>
theorem prover
inference rules
theorem proving
automated reasoning
binary decision diagrams
automated theorem proving
term rewriting
computer algebra systems
first order logic
higher order logic
computer algebra
formal proof
formal semantics
timed automata