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)

30 Downloads (Pure)

Search results