Weissenbacher, Georg, Daniel Kroening, and Sharad Malik. 2012. “WOLVERINE: Battling Bugs With Interpolants”. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 556–558. Springer Berlin Heidelberg.