Slide 1FMCAD 2009 Tutorial Nikolaj Bjørner Microsoft Research Slide 2 Tutorial Contents Bit-vector decision procedures by categories Bit-wise operations Vector Segments…