Specification synthesis with constrained Horn clauses.

Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza

Browse the full PLDI paper archive.