×

CBMC

swMATH ID: 9719
Software Authors: Clarke E, Kroening D, Lerda F
Description: CBMC is a Bounded Model Checker for ANSI-C and C++ programs. It also supports SystemC using Scoot. It allows verifying array bounds (buffer overflows), pointer safety, ex­cep­tions and user-specified as­ser­tions. Furthermore, it can check ANSI-C and C++ for consistency with other languages, such as Verilog. The verification is performed by unwinding the loops in the program and passing the re­sul­ting equation to a decision procedure. While CBMC is aimed for embedded software, it also supports dynamic memory allocation using malloc and new. For questions about CBMC, contact Daniel Kroening.
Homepage: http://www.cprover.org/cbmc/
Related Software: BLAST; z3; MiniSat; SPIN; CPAchecker; GitHub; SLAM; KLEE; Chaff; CIL; SMT-LIB; SatAbs; ASTREE; DART; NuSMV; SMACK; CVC4; Java PathFinder; CUTE; UFO
Cited in: 88 Documents
all top 5

Cited by 275 Authors

12 Kröning, Daniel
4 Gurfinkel, Arie
4 Sharygina, Natasha
3 Chaki, Sagar
3 Duan, Zhenhua
3 Inverso, Omar
3 Tian, Cong
3 Zhang, Nan
2 Bardin, Sébastien
2 Bessa, Iury
2 Beyer, Dirk
2 Brain, Martin
2 Brauer, Jörg
2 Clarke, Edmund Melson jun.
2 Cordeiro, Lucas
2 De Nicola, Rocco
2 Di Stefano, Luca
2 Frenkel, Hadar
2 Ganai, Malay K.
2 Grumberg, Orna
2 Gupta, Aarti
2 Gupta, Ashutosh
2 Hoos, Holger H.
2 King, Andy
2 Leyton-Brown, Kevin
2 Podelski, Andreas
2 Roy, Subhajit
2 Rümmer, Philipp
2 Strichman, Ofer
2 Tonetta, Stefano
2 Tsitovich, Aliaksei
2 Valiani, Serenella
2 Veith, Helmut
2 Wang, Meng
2 Weigl, Alexander
2 Weissenbacher, Georg
2 Wies, Thomas
2 Wintersteiger, Christoph M.
2 Zaikin, Oleg Sergeevich
1 Abate, Alessandro
1 Abdulla, Parosh Aziz
1 Ábrahám, Erika
1 Agarwal, Palak
1 Aguirre, Nazareno M.
1 Akhundov, Murad
1 Al-Yahya, Tasniem Nasser
1 Alberti, Francesco
1 Amjad, Hasan
1 Appel, Andrew W.
1 Arroyo, Marcelo
1 Asadi, Sepideh
1 Ashar, Pranav
1 Atig, Mohamed Faouzi
1 Bagnara, Roberto
1 Balint, Adrian
1 Barnat, Jiří
1 Barrett, Clark W.
1 Bauer-Marquart, Fabian
1 Bayless, Sam
1 Bechberger, Johannes
1 Beringer, Lennart
1 Bhattacharyya, Arnab
1 Bhutada, Dipali
1 Bienmüller, Tom
1 Biere, Armin
1 Blicha, Martin
1 Bloem, Roderick
1 Bobot, François
1 Bøgsted Poulsen, Danny
1 Boston, Brett
1 Bouajjani, Ahmed
1 Breese, Samuel
1 Brillout, Angelo
1 Brotherston, James
1 Bruttomesso, Roberto
1 Büscher, Niklas
1 Cao, Qinxiang
1 Carlier, Matthieu
1 Černý, Pavol
1 Chakraborty, Supratik
1 Chatterjee, Prantik
1 Chattopadhyay, Sudipta
1 Chaves, Lennon
1 Chechik, Marsha
1 Chihani, Zakaria
1 Coenen, Norine
1 Collavizza, Hélène
1 Corona, Gabriel
1 Cousot, Patrick
1 Cousot, Radhia
1 Currie, David J.
1 Dachselt, Raimund
1 Dangl, Matthias
1 David, Cristina
1 Demyanova, Yulia
1 Dietsch, Daniel
1 Dodds, Joey
1 Dodds, Josiah
1 Dodds, Mike
1 Donaldson, Alastair F.
...and 175 more Authors

Citations by Year