Volume 42, Issue 1 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 42, Issue 1

February 2013

Special issue on Satisfiability Modulo Theory

Issue Editors:

Ofer Strichman,
Daniel Kroening

6 articles in this issue

Preface to the special issue “SI: Satisfiability Modulo Theories”
Ofer Strichman
Daniel Kroening
EditorialNotes 04 August 2012 Pages: 1 - 2
Efficiently solving quantified bit-vector formulas
Christoph M. Wintersteiger
Youssef Hamadi
Leonardo de Moura
OriginalPaper 08 June 2012 Pages: 3 - 23
Symbolic backward reachability with effectively propositional logic
Silvio Ranise
OriginalPaper 16 May 2012 Pages: 24 - 45
SMT-based scenario verification for hybrid systems
Alessandro Cimatti
Sergio Mover
Stefano Tonetta
OriginalPaper 16 May 2012 Pages: 46 - 66
Being careful about theory combination
Dejan Jovanović
Clark Barrett
OriginalPaper 09 June 2012 Pages: 67 - 90
SMT proof checking using a logical framework
Aaron Stump
Duckki Oe
Cesare Tinelli
OriginalPaper 04 July 2012 Pages: 91 - 118