Skip to main content

TS

Don't care in SMT — building flexible yet efficient abstraction/refinement solvers

Authors

Andreas Bauer, Martin Leucker, Christian Schallhart and Michael Tautschnig

NICTA

Australian National University

Abstract

BibTeX Entry

  @article{Bauer_LST_10,
    journal          = {International Journal on Software Tools for Technology Transfer (STTT, Springer)},
    author           = {Bauer, Andreas and Leucker, Martin and Schallhart, Christian and Tautschnig, Michael},
    number           = {1},
    month            = feb,
    volume           = {12},
    year             = {2010},
    title            = {Don't care in {SMT} --- Building flexible yet efficient abstraction/refinement solvers},
    pages            = {23--37}
  }

Download

Served by Apache on Linux on seL4.