by Jörg Brauer
Reference:
Automatic Abstraction for Bit-Vectors using Decision Procedures (Jörg Brauer), 2013. (AIB-2013-14)
Bibtex Entry:
@phdthesis { Bra13, author = { Brauer, J{"o}rg }, title = { {A}utomatic {A}bstraction for {B}it-{V}ectors using {D}ecision {P}rocedures }, school = { Fakult{"a}t f{"u}r Mathematik, Informatik und Naturwissenschaften der RWTH Aachen }, type = { Dissertation }, year = { 2013 }, month = { November }, issn = { 0935–3232 }, i11key = { thesis }, url = { http://publications.embedded.rwth-aachen.de/file/4y }, keywords = { abstract interpretation, automatic abstraction, sat solving, decision procedures }, i11projectkey = { Arcade }, note = { AIB-2013-14 }, timestamp = { 2014.02.03 }, for_reporting_period = { 2013 }, }