Philipp Rümmer, Christoph M. Wintersteiger
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories
SMT-2014, 2014.

@proceedings{SMT-2014,
	address       = "Vienna, Austria",
	editor        = "Philipp Rümmer and Christoph M. Wintersteiger",
	pdfurl        = "http://ceur-ws.org/Vol-1163/",
	publisher     = "{CEUR-WS.org}",
	series        = "{CEUR Workshop Proceedings}",
	title         = "{Proceedings of the 12th International Workshop on Satisfiability Modulo Theories}",
	urn           = "urn:nbn:de:0074-1163-4",
	volume        = 1163,
	year          = 2014,
}

Event page: http://smt2014.it.uu.se/

Contents (13 items)

4 ×#smt
2 ×#array
2 ×#named
2 ×#programming

SMT-2014-Barrett #named #question #smt

SMT: Where do we go from here? (CB), p. 1.

SMT-2014-FremontS #program analysis #smt

Speeding Up SMT-Based Quantitative Program Analysis (DJF, SAS), pp. 3–13.

SMT-2014-PalikarevaC #execution #multi #symbolic computation

Multi-solver Support in Symbolic Execution (HP, CC), p. 15.

SMT-2014-CarlssonGP #analysis #constraints #programming #protocol

Protocol Log Analysis with Constraint Programming (MC, OG, JP), pp. 17–26.

SMT-2014-LamC #reasoning #set

Reasoning About Set Comprehensions (ESLL, IC), pp. 27–37.

SMT-2014-ChristH #array

Weakly Equivalent Arrays (JC, JH), pp. 39–49.

SMT-2014-AlbertiGS #array

Decision Procedures for Flat Array Properties (FA, SG, NS), p. 51.

SMT-2014-BonichonDT #morphism #polymorphism

Extending SMT-LIB v2 with λ-Terms and Polymorphism (RB, DD, CT), pp. 53–62.

SMT-2014-Melquiond #algorithm #automation #float #verification

Automating the Verification of Floating-Point Algorithms (GM), p. 63.

SMT-2014-KingBT #integer #linear #programming #smt

Leveraging Linear and Mixed Integer Programming for SMT (TK, CB, CT), p. 65.

SMT-2014-KhanhTO #difference #named #polynomial #smt

raSAT: SMT for Polynomial Inequality (TVK, VXT, MO), p. 67.

SMT-2014-KostaSD

Better Answers to Real Questions (MK, TS, AD), p. 69.

SMT-2014-KorovinKS #learning #towards

Towards Conflict-Driven Learning for Virtual Substitution (KK, MK, TS), p. 71.