Counterexample Guided Inductive Synthesis Modulo Theories

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

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

31 Downloads (Pure)


Dive into the research topics of 'Counterexample Guided Inductive Synthesis Modulo Theories'. Together they form a unique fingerprint.

Engineering & Materials Science