Counterexample Guided Inductive Synthesis Modulo Theories.

Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

Browse the full CAV paper archive.