Extraction and Verification of Programs by Analysis of Formal Proofs.

Published in: Theor. Comput. Sci. (1988)

Keyphrases

formal proofs
statistical analysis
data analysis
image analysis
database
real time
databases
website
similarity measure
model checking
computer programs
automatic analysis
structural analysis