Synthesis of Circular Compositional Program Proofs via Abduction.

Boyang Li Isil Dillig Thomas Dillig Kenneth L. McMillan Mooly Sagiv

Published in: TACAS (2013)

Keyphrases

program synthesis
computer programs
functional programs
real time
data mining
logic programming
theorem prover
theorem proving
program execution
harmonic functions
object oriented
hough transform
programming environment
formal proofs