IEEE - Institute of Electrical and Electronics Engineers, Inc. - The bounded model checker LLBMC

2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE)

Author(s): Stephan Falke ; Florian Merz ; Carsten Sinz
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2013
Conference Location: Silicon Valley, CA, USA
Conference Date: 11 November 2013
Page(s): 706 - 709
ISBN (Electronic): 978-1-4799-0215-6
DOI: 10.1109/ASE.2013.6693138
Regular:

This paper presents LLBMC, a tool for finding bugs and runtime errors in sequential C/C++ programs. LLBMC employs bounded model checking using an SMT-solver for the theory of bitvectors and arrays... View More

Advertisement