Counterexample guided quantifier instantiation for synthesis of SMT

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

Counterexample guided quantifier instantiation for synthesis of SMT

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Proceedings of the 27th International Conference on Computer Aided Verification (CAV '15), July 2015, San Francisco CA
Publisher	Springer
State	Accepted/In press - 2015

Publication series

Name	Lecture Notes in Computer Science

Cite this

Counterexample guided quantifier instantiation for synthesis of SMT. / Reynolds, Andrew; Deters, Morgan; Kuncak, Viktor et al.
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 proceeding › Conference contribution

@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 -