Login / Signup
Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs.
Nikolaj Popov
Tudor Jebelean
Published in:
Math. Comput. Simul. (2009)
Keyphrases
</>
computer algebra
program synthesis
recursive programs
formal verification
protocol specification
theorem prover
model checking
logic programs
transformation rules
high level
inductive logic programming
computer algebra systems
automated theorem provers
artificial intelligence
multi dimensional