Reuse of Proofs in Software Verification.

Wolfgang Reif Kurt Stenzel

Published in: FSTTCS (1993)

Keyphrases

theorem proving
learning objects
theorem prover
software reuse
artificial intelligence
decision procedures
equational theories
high level
mathematical proofs
real time
computer vision
inference rules
software evolution
reusable components