Theorem Prover Support for Precondition and Correctness Calculation.

Orieta Celiku Joakim von Wright

Published in: ICFEM (2002)

Keyphrases

theorem prover
automated reasoning
term rewriting
theorem proving
automated theorem proving
first order logic
inference rules
computer algebra
formal semantics
automated deduction
boolean algebra
end users
higher order logic