@comment{It is strongly recommended to use BibLaTeX for these entries} @inproceedings{Barrett:SMT2014, title = {SMT: Where do we go from here?}, author = {Clark Barrett}, pages = {1}, url = {http://ceur-ws.org/Vol-1163#paper-01}, crossref = {SMT2014}, } @inproceedings{FremontSeshia:SMT2014, title = {Speeding Up SMT-Based Quantitative Program Analysis}, author = {Daniel J. Fremont and Sanjit A. Seshia}, pages = {3--13}, url = {http://ceur-ws.org/Vol-1163#paper-02}, crossref = {SMT2014}, } @inproceedings{PalikarevaCadar:SMT2014, title = {Multi-solver Support in Symbolic Execution}, author = {Hristina Palikareva and Cristian Cadar}, pages = {15}, url = {http://ceur-ws.org/Vol-1163#paper-03}, crossref = {SMT2014}, } @inproceedings{CarlssonEtAl:SMT2014, title = {Protocol Log Analysis with Constraint Programming}, author = {Mats Carlsson and Olga Grinchtein and Justin Pearson}, pages = {17--26}, url = {http://ceur-ws.org/Vol-1163#paper-04}, crossref = {SMT2014}, } @inproceedings{LamCervesato:SMT2014, title = {Reasoning About Set Comprehensions}, author = {Edmund S. L. Lam and Iliano Cervesato}, pages = {27--37}, url = {http://ceur-ws.org/Vol-1163#paper-05}, crossref = {SMT2014}, } @inproceedings{ChristHoenicke:SMT2014, title = {Weakly Equivalent Arrays}, author = {Juergen Christ and Jochen Hoenicke}, pages = {39--49}, url = {http://ceur-ws.org/Vol-1163#paper-06}, crossref = {SMT2014}, } @inproceedings{AlbertiEtAl:SMT2014, title = {Decision Procedures for Flat Array Properties}, author = {Francesco Alberti and Silvio Ghilardi and Natasha Sharygina}, pages = {51}, url = {http://ceur-ws.org/Vol-1163#paper-07}, crossref = {SMT2014}, } @inproceedings{BonichonEtAl:SMT2014, title = {Extending SMT-LIB v2 with $\lambda$-Terms and Polymorphism}, author = {Richard Bonichon and David D\'{e}harbe and Cl\'{a}udia Tavares}, pages = {53--62}, url = {http://ceur-ws.org/Vol-1163#paper-08}, crossref = {SMT2014}, } @inproceedings{Melquiond:SMT2014, title = {Automating the Verification of Floating-Point Algorithms}, author = {Guillaume Melquiond}, pages = {63}, url = {http://ceur-ws.org/Vol-1163#paper-09}, crossref = {SMT2014}, } @inproceedings{KingEtAl:SMT2014, title = {Leveraging Linear and Mixed Integer Programming for SMT}, author = {Timothy King and Clark Barrett and Cesare Tinelli}, pages = {65}, url = {http://ceur-ws.org/Vol-1163#paper-10}, crossref = {SMT2014}, } @inproceedings{KhanhEtAl:SMT2014, title = {raSAT: SMT for Polynomial Inequality}, author = {To Van Khanh and Vu Xuan Tung and Mizuhito Ogawa}, pages = {67}, url = {http://ceur-ws.org/Vol-1163#paper-11}, crossref = {SMT2014}, } @inproceedings{KostaEtAl:SMT2014, title = {Better Answers to Real Questions}, author = {Marek Kosta and Thomas Sturm and Andreas Dolzmann}, pages = {69}, url = {http://ceur-ws.org/Vol-1163#paper-12}, crossref = {SMT2014}, } @inproceedings{KorovinEtAl:SMT2014, title = {Towards Conflict-Driven Learning for Virtual Substitution}, author = {Konstantin Korovin and Marek Kosta and Thomas Sturm}, pages = {71}, url = {http://ceur-ws.org/Vol-1163#paper-13}, crossref = {SMT2014}, } @proceedings{SMT2014, booktitle = {12th International Workshop on Satisfiability Modulo Theories (SMT)}, title = {Proceedings of the 12th International Workshop on Satisfiability Modulo Theories (SMT)}, year = 2014, editor = {Philipp R\"{u}mmer and Christoph M. Wintersteiger}, number = 1163, series = {CEUR Workshop Proceedings}, address = {Aachen}, issn = {1613-0073}, url = {http://ceur-ws.org/Vol-1163}, venue = {Vienna, Austria}, eventdate = {2014-07-17}, }