Vol-1889
urn:nbn:de:0074-1889-9




SMT 2017
Satisfiability Modulo Theories


Proceedings of the 15th International Workshop on Satisfiability Modulo Theories
affiliated with the International Coference on Computer-Aided Verification (CAV 2017)

Heidelberg, Germany, July 22 - 23, 2017.


Edited by

Martin Brain *
Liana Hadarean **

* University of Oxford, Parks Rd, Oxford OX1 3QD, UK
** Synopsys, San Francisco, CA 94107, USA





Table of Contents

Invited Talks

Regular Papers

Extended Abstracts

Presentation-only Papers


2017-08-16: submitted by Liana Hadarean, metadata incl. bibliographic data published under Creative Commons CC0
2017-08-16: published on CEUR-WS.org |valid HTML5|