Automatic Construction of Hoare Proofs from Abstract Interpretation Results.

Sunae Seo Hongseok Yang Kwangkeun Yi

Published in: APLAS (2003)

Keyphrases

automatic construction
abstract interpretation
termination analysis
static analysis
active rules
active databases
model checking
reasoning engine
dynamic analysis
theorem prover
high level
database
source code