Automatic Abstraction for Bit-Vectors using Decision Procedures

@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 },
}