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.

Counterexample guided quantifier instantiation for synthesis of SMT. / Reynolds, Andrew; Deters, Morgan; Kuncak, Viktor; Barrett, Clark; Tinelli, Cesare.

Proceedings of the 27th International Conference on Computer Aided Verification (CAV '15), July 2015, San Francisco CA. Springer, 2015. to appear (Lecture Notes in Computer Science).

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

Reynolds, A, Deters, M, Kuncak, V, Barrett, C & Tinelli, C 2015, 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.
Reynolds A, Deters M, Kuncak V, Barrett C, Tinelli C. 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. Springer. 2015. to appear. (Lecture Notes in Computer Science).
Reynolds, Andrew ; Deters, Morgan ; Kuncak, Viktor ; Barrett, Clark ; Tinelli, Cesare. / Counterexample guided quantifier instantiation for synthesis of SMT. Proceedings of the 27th International Conference on Computer Aided Verification (CAV '15), July 2015, San Francisco CA. Springer, 2015. (Lecture Notes in Computer Science).
@inproceedings{05f6cd897adc4df09bb757469b7d62a4,
title = "Counterexample guided quantifier instantiation for synthesis of SMT",
author = "Andrew Reynolds and Morgan Deters and Viktor Kuncak and Clark Barrett and Cesare Tinelli",
year = "2015",
language = "English (US)",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
booktitle = "Proceedings of the 27th International Conference on Computer Aided Verification (CAV '15), July 2015, San Francisco CA",

}

TY - GEN

T1 - Counterexample guided quantifier instantiation for synthesis of SMT

AU - Reynolds, Andrew

AU - Deters, Morgan

AU - Kuncak, Viktor

AU - Barrett, Clark

AU - Tinelli, Cesare

PY - 2015

Y1 - 2015

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

BT - Proceedings of the 27th International Conference on Computer Aided Verification (CAV '15), July 2015, San Francisco CA

PB - Springer

ER -