Combining Relational Learning with SMT Solvers Using CEGAR.

Arun Tejasvi Chaganty, Akash Lal, Aditya V. Nori, Sriram K. Rajamani

Browse the full CAV paper archive.