Syntax-Guided Synthesis

Rajeev Alur Rastislav Bodík Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak Abhishek Udupa 2013 Syntax-Guided Synthesis Formal Methods in Computer-Aided Design 1–17 10.1109/FMCAD.2013.6679385 Roderick Paul Bloem Rolf Drechsler Görschwin Fey Alexander Finder Georg Hofferek Robert Könighofer Jaan Raik Urmas Repinski Andre Sülflow 2012 FoREnSiC — An Automatic Debugging Environment for C Programs Haifa Verification Conference 260–265 10.1007/978-3-642-39611-3_24 Edmund Clarke Daniel Kroening Flavio Lerda 2004 A Tool for Checking ANSI-C Programs Tools and Algorithms for Construction and Analysis of Systems 168–176 10.1007/978-3-540-24730-2_15 Cormac Flanagan Shaz Qadeer 2002 Predicate Abstraction for Software Verification Symposium on Principles of Programming Languages 191–202 10.1145/503272.503291 Jad Hamza Barbara Jobstmann Viktor Kuncak 2010 Synthesis for Regular Specifications over Unbounded Domains Formal Methods in Computer-Aided Design 101–109 Swen Jacobs Viktor Kuncak Philippe Suter 2013 Reductions for Synthesis Procedures Verification, Model Checking and Abstract Interpretation 88–107 10.1007/978-3-642-35873-9_8 Manu Jose Rupak Majumdar 2011 Cause Clue Clauses: Error Localization using Maximum Satisfiability Programming Language Design and Implementation 437–446 10.1145/1993316.1993550 Robert Könighofer Roderick Bloem 2011 Automated Error Localization and Correction for Imperative Programs Formal Methods in Computer-Aided Design 91–100 Viktor Kuncak Mikaël Mayer Ruzica Piskac Philippe Suter 2010 Complete Functional Synthesis Programming Language Design and Implementation 316–329 10.1145/1806596.1806632 Viktor Kuncak Mikaël Mayer Ruzica Piskac Philippe Suter 2013 Functional Synthesis for Linear Arithmetic and Sets International Journal on Software Tools for Technology Transfer 15 5–6 455–474 10.1007/978-3-662-44202-9_15 Leonardo de Moura Nikolaj Bjørner 2008 Z3: An efficient SMT solver Tools and Algorithms for Construction and Analysis of Systems 337–340 10.1007/978-3-540-78800-3_24 Heinz Riener Görschwin Fey 2012 Model-Based Diagnosis versus Error Explanation Formal Methods and Models for Co-Design 43–52 10.1109/MEMCOD.2012.6292299