3 papers:
ASE-2013-FalkeMS #bound #model checking- The bounded model checker LLBMC (SF, FM, CS), pp. 706–709.
TACAS-2013-FalkeMS #bound #c #contest #model checking #named #source code #using- LLBMC: Improved Bounded Model Checking of C Programs Using LLVM — (Competition Contribution) (SF, FM, CS), pp. 623–626.
TACAS-2012-SinzMF #bound #contest #model checking #named #representation- LLBMC: A Bounded Model Checker for LLVM’s Intermediate Representation — (Competition Contribution) (CS, FM, SF), pp. 542–544.