Counterexample guided quantifier instantiation for synthesis of SMT

Andrew Reynolds, Morgan Deters, Viktor Kuncak, Clark Barrett, Cesare Tinelli

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the 27th International Conference on Computer Aided Verification (CAV '15), July 2015, San Francisco CA
PublisherSpringer
StateAccepted/In press - 2015

Publication series

NameLecture Notes in Computer Science

Cite this

Reynolds, A., Deters, M., Kuncak, V., Barrett, C., & Tinelli, C. (Accepted/In press). Counterexample guided quantifier instantiation for synthesis of SMT. In Proceedings of the 27th International Conference on Computer Aided Verification (CAV '15), July 2015, San Francisco CA [to appear] (Lecture Notes in Computer Science). Springer.