Refutation-based synthesis in SMT

Journal article

Peer reviewed

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

Formal methods in system design, Vol.55(2), pp.73-102

12/2019

DOI: 10.1007/s10703-017-0270-2

View Online

Title: Subtitle: Refutation-based synthesis in SMT
Creators: Andrew Reynolds
Viktor Kuncak
Cesare Tinelli
Clark Barrett
Morgan Deters
Resource Type: Journal article
Publication Details: Formal methods in system design, Vol.55(2), pp.73-102
DOI: 10.1007/s10703-017-0270-2
ISSN: 0925-9856
eISSN: 1572-8102
Grant note: DOI: 10.13039/501100000781, name: European Research Council, award: 306484; DOI: 10.13039/501100001711, name: Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung, award: 200020_159949; DOI: 10.13039/100000083, name: Directorate for Computer and Information Science and Engineering, award: CNS 1228768
Language: English
Date published: 12/2019
Academic Unit: Computer Science
Record Identifier: 9984002304502771

20 Record Views