Volume 42, Issue 1, February 2013

Special issue on Satisfiability Modulo Theory

ISSN: 0925-9856 (Print) 1572-8102 (Online)

In this issue (6 articles)

  1. EditorialNotes

    Preface to the special issue “SI: Satisfiability Modulo Theories”

    Ofer Strichman, Daniel Kroening Pages 1-2
    Download PDF (151KB) View Article

  2. No Access

    OriginalPaper

    Efficiently solving quantified bit-vector formulas

    Christoph M. Wintersteiger, Youssef Hamadi… Pages 3-23
    Look Inside Get Access

  3. No Access

    OriginalPaper

    Symbolic backward reachability with effectively propositional logic

    Silvio Ranise Pages 24-45
    Look Inside Get Access

  4. No Access

    OriginalPaper

    SMT-based scenario verification for hybrid systems

    Alessandro Cimatti, Sergio Mover, Stefano Tonetta Pages 46-66
    Look Inside Get Access

  5. No Access

    OriginalPaper

    Being careful about theory combination

    Dejan Jovanović, Clark Barrett Pages 67-90
    Look Inside Get Access

  6. No Access

    OriginalPaper

    SMT proof checking using a logical framework

    Aaron Stump, Duckki Oe, Andrew Reynolds, Liana Hadarean… Pages 91-118
    Look Inside Get Access