LLBMC: Bounded model checking of C and C++ programs using a compiler IR

Florian Merz, Stephan Falke, Carsten Sinz
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Verified Software: Theories, Tools, Experiments
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 146-161
2012
Topic(s): tools verification
Note(s): LLVM compiler, bounded model checking