LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution).

Carsten Sinz, Florian Merz, Stephan Falke

Browse the full TACAS paper archive.