Slide 11 Satisfiability modulo the Theory of Bit Vectors Alessandro Cimatti IRST, Trento, Italy [email protected] Joint work with R. Bruttomesso, A. Franzen, A. Griggio,…
