Similarities and Reuse of Proofs in Formal Software Verification.

Erica Melis Axel Schairer

Published in: EWCBR (1998)

Keyphrases

similarity measure
formal proof
formal model
formal proofs
formal models
software reuse
formal methods
theorem proving
theorem prover
knowledge sharing and reuse
real time
decision trees
information systems
computer vision
artificial intelligence
machine learning
neural network
databases
data sets