"LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - ..."

Carsten Sinz, Florian Merz, Stephan Falke (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics