Proof Reuse for Deductive Program Verification.

Bernhard Beckert Vladimir Klebanov

Published in: SEFM (2004)

Keyphrases

proof planning
theorem prover
object oriented
theorem proving
software reuse
case study
database
data mining
linear logic
search engine
feature selection
video sequences
multi agent systems
concept formation
sequent calculus