LLBMC swMATH ID: 9478 Software Authors: Falke, Stephan; Merz, Florian; Sinz, Carsten Description: LLBMC: improved bounded model checking of C programs using LLVM . (Competition contribution). 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. Homepage: http://link.springer.com/chapter/10.1007%2F978-3-642-36742-7_48 Related Software: CBMC; UFO; CPAchecker; MiniSat; z3; BLAST; Lingeling; Plingeling; Yices; SLAM; Smallfoot; SLAyer; Predator; SMACK; SeaHorn; AProVE; LLVM; ESBMC; DynAlloy; JPF-SE Cited in: 12 Publications Standard Articles 1 Publication describing the Software Year LLBMC: improved bounded model checking of C programs using LLVM . (Competition contribution) Falke, Stephan; Merz, Florian; Sinz, Carsten 2013 all top 5 Cited by 45 Authors 1 Aguirre, Nazareno M. 1 Arroyo, Marcelo 1 Aschermann, Cornelius 1 Beyer, Dirk 1 Bjørner, Nikolaj S. 1 Brockschmidt, Marc 1 Dangl, Matthias 1 de Moura, Leonardo 1 Du, Hongwei 1 Duan, Zhenhua 1 Duck, Gregory J. 1 Fedyukovich, Grigory 1 Flanagan, Cormac 1 Frohn, Florian 1 Fuhs, Carsten 1 Giesl, Jürgen 1 Godio, Ariel 1 Gribanova, Irina 1 Hensel, Jera 1 Iser, Markus 1 Jaffar, Joxan 1 Kiefer, Moritz 1 Klebanov, Vladimir 1 Kochemazov, Stepan 1 König, Barbara 1 Kröning, Daniel 1 Kugler, Hillel 1 Lu, Xu 1 Manthey, Norbert 1 Otpuschennikov, Ilya V. 1 Piterman, Nir 1 Ponzio, Pablo 1 Rosner, Nicolás 1 Schneider-Kamp, Peter 1 Semenov, Aleksandr Anatol’evich 1 Sharygina, Natasha 1 Sinz, Carsten 1 Smolka, Scott A. 1 Strichman, Ofer 1 Ströder, Thomas 1 Tian, Cong 1 Ulbrich, Mattias 1 Wendler, Philipp 1 Yap, Roland H. C. 1 Zaikin, Oleg Sergeevich all top 5 Cited in 6 Serials 3 Journal of Automated Reasoning 2 Lecture Notes in Computer Science 1 Theoretical Computer Science 1 Theory and Practice of Logic Programming 1 Logical Methods in Computer Science 1 Texts in Theoretical Computer Science. An EATCS Series Cited in 3 Fields 12 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year