Constrained Horn Clauses for Program Verification and Synthesis (Invited Talk).

Arie Gurfinkel

Browse the full CONCUR paper archive.