Computer Aided Verification
Springer, Cham
| Chapter title |
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT
|
|---|---|
| Chapter number | 12 |
| Book title |
Computer Aided Verification
|
| Published in |
Lecture notes in computer science, July 2015
|
| DOI | 10.1007/978-3-319-21668-3_12 |
| Book ISBNs |
978-3-31-921667-6, 978-3-31-921668-3
|
| Authors |
Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, Clark Barrett |
| Editors |
Daniel Kroening, Corina S. Păsăreanu |
| Country | Count | As % |
|---|---|---|
| Unknown | 1 | 100% |
| Type | Count | As % |
|---|---|---|
| Members of the public | 1 | 100% |
| Country | Count | As % |
|---|---|---|
| Unknown | 33 | 100% |
| Readers by professional status | Count | As % |
|---|---|---|
| Student > Ph. D. Student | 12 | 36% |
| Student > Master | 7 | 21% |
| Student > Doctoral Student | 2 | 6% |
| Student > Bachelor | 2 | 6% |
| Professor | 1 | 3% |
| Other | 3 | 9% |
| Unknown | 6 | 18% |
| Readers by discipline | Count | As % |
|---|---|---|
| Computer Science | 25 | 76% |
| Engineering | 2 | 6% |
| Unknown | 6 | 18% |