Interpolation And Sat Based Model Checking In Software