Title | ||
---|---|---|
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution). |
Abstract | ||
---|---|---|
LLBMC is a tool for detecting bugs and runtime errors in C and C++ programs. It is based on bounded model checking using an SMT solver and thus achieves bit-accurate precision. A distinguishing feature of LLBMC in contrast to other bounded model checking tools for C programs is that it operates on a compiler intermediate representation and not directly on the source code. |
Year | Venue | Field |
---|---|---|
2013 | Lecture Notes in Computer Science | Discrete mathematics,Model checking,Computer science,Theoretical computer science,Bounded function |
DocType | Volume | ISSN |
Conference | 7795 | 0302-9743 |
Citations | PageRank | References |
9 | 0.49 | 5 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stephan Falke | 1 | 511 | 27.86 |
Florian Merz | 2 | 151 | 9.56 |
Carsten Sinz | 3 | 787 | 46.29 |