Abductive Inference and Its Applications in Program Analysis, Verification, and Synthesis.

Isil Dillig

Browse the full FMCAD paper archive.