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
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 146-161
2012
Topic(s): tools verification
Note(s): LLVM compiler, bounded model checking