Automatic abstraction for bit vectors using decision procedures

by Jörg Brauer
Reference:
Automatic abstraction for bit vectors using decision procedures (Jörg Brauer), Fachgruppe Informatik, RWTH Aachen University, volume 2013,14, 2013. (Zugl.: Aachen, Techn. Hochsch., Diss., 2013)
Bibtex Entry:
@TECHREPORT{Brauer:229199,
      author       = {Brauer, Jörg},
      othercontributors = {Kowalewski, Stefan},
      title        = {{A}utomatic abstraction for bit vectors using decision
                      procedures},
      volume       = {2013,14},
      number       = {AIB 2013 14},
      address      = {Aachen},
      publisher    = {Fachgruppe Informatik, RWTH Aachen University},
      reportid     = {AIB 2013 14. AIB-2013-14},
      series       = {Aachener Informatik-Berichte},
      pages        = {IV, 207 S. : graph. Darst.},
      year         = {2013},
      note         = {Zugl.: Aachen, Techn. Hochsch., Diss., 2013},
      keywords     = {Abstrakte Interpretation (SWD) / Entscheidungsverfahren
                      (SWD) / Bitvektor (SWD)},
      cin          = {120000 / 122810},
      ddc          = {Informatik},
      cid          = {$I:(DE-82)120000_20140620$ / $I:(DE-82)122810_20140620$},
      shelfmark    = {F.3.2},
      typ          = {PUB:(DE-HGF)11 / PUB:(DE-HGF)29},
      urn          = {urn:nbn:de:hbz:82-opus-48361},
      url          = {http://publications.rwth-aachen.de/record/229199},
}

Bookmark the permalink.