Synthesis of Circular Compositional Program Proofs via Abduction.

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

Browse the full TACAS paper archive.