×

CPAchecker

swMATH ID: 7408
Software Authors: Dirk Beyer, Stefan Löwe, Philipp Wendler
Description: Cpachecker with sequential combination of explicit-state analysis and predicate analysis. (Competition contribution). CPAchecker is an open-source framework for software verification, based on the concepts of configurable program analysis (CPA). We submit a CPAchecker configuration that uses a sequential combination of two approaches. It starts with an explicit-state analysis, and, if no answer can be found within some time, switches to a predicate analysis with adjustable-block encoding and CEGAR.
Homepage: http://cpachecker.sosy-lab.org/
Related Software: BLAST; SLAM; z3; CBMC; UFO; SatAbs; KLEE; LLVM; Wolverine; SMTInterpol; NuSMV; MathSAT5; Predator; SPIN; Threader; SMACK; CUTE; LLBMC; HSF; Princess
Referenced in: 38 Publications

Standard Articles

2 Publications describing the Software Year
Cpachecker with sequential combination of explicit-value analyses and predicate analyses. (Competition contribution)
Löwe, Stefan; Mandrykin, Mikhail; Wendler, Philipp
2014
Cpachecker with sequential combination of explicit-state analysis and predicate analysis. (Competition contribution)
Wendler, Philipp
2013
all top 5

Referenced by 106 Authors

4 Podelski, Andreas
3 Duan, Zhenhua
3 Tian, Cong
3 Zhang, Nan
2 Beyer, Dirk
2 Cimatti, Alessandro
2 Dietsch, Daniel
2 Du, Hongwei
2 Hoenicke, Jochen
2 Kröning, Daniel
2 Rümmer, Philipp
2 Tautschnig, Michael
2 Wang, Meng
2 Wendler, Philipp
1 Albarghouthi, Aws
1 Alberti, Francesco
1 Aschermann, Cornelius
1 Babić, Domagoj
1 Backeman, Peter
1 Baranowski, Marek
1 Barnat, Jiří
1 Bessa, Iury
1 Botinčan, Matko
1 Brockschmidt, Marc
1 Bruttomesso, Roberto
1 Chalupa, Marek
1 Chaves, Lennon
1 Chechik, Marsha
1 Cook, Byron
1 Cordeiro, Lucas
1 Dangl, Matthias
1 Daniel, Jakub
1 Ermis, Evren
1 Fantechi, Alessandro
1 Flanagan, Cormac
1 Frohn, Florian
1 Fuhs, Carsten
1 Garzella, Jack J.
1 Ghilardi, Silvio
1 Giesl, Jürgen
1 Gnesi, Stefania
1 Greitschus, Marius
1 Griggio, Alberto
1 Gulwani, Sumit
1 Gupta, Ashutosh
1 Gurfinkel, Arie
1 Hajdu, Ákos
1 He, Shaobo
1 Heizmann, Matthias
1 Heljanko, Keijo
1 Hensel, Jera
1 Henzinger, Thomas A.
1 Holzer, Andreas
1 Hsu, Kyle
1 Jhala, Ranjit
1 Karpenkov, Egor George
1 Khazem, Kareem
1 König, Barbara
1 Koskinen, Eric
1 Křena, Bohuslav
1 Langenfeld, Vincent
1 Lauko, Henrich
1 Leroux, Jérôme
1 Majumdar, Rupak
1 Mallik, Kaushik
1 Mazzanti, Franco
1 Micskei, Zoltán
1 Monniaux, David P.
1 Mutilin, V. S.
1 Narasamdya, Iman
1 Parízek, Pavel
1 Radhakrishna, Arjun
1 Rakamarić, Zvonimir
1 Ranise, Silvio
1 Ročkai, Petr
1 Roveri, Marco
1 Rybalchenko, Andrey
1 Saarikivi, Olli
1 Salamati, Ali
1 Samanta, Roopsha
1 Schaafsma, Bastiaan Joost
1 Schallhart, Christian
1 Schindler, Tanja I.
1 Schmidt, David A.
1 Schmuck, Anne-Kathrin
1 Schneider-Kamp, Peter
1 Sebastiani, Roberto
1 Sharygina, Natasha
1 Søndergaard, Harald
1 Soudjani, Sadegh
1 Strejček, Jan
1 Ströder, Thomas
1 Stuckey, Peter James
1 Subotic, Pavle
1 Tarrach, Thorsten
1 Tasiran, Serdar
1 ter Beek, Maurice H.
1 Tuttle, Mark R.
1 Vasil’ev, Alekseĭ Alekseevich
1 Veith, Helmut
...and 6 more Authors

Referencing Publications by Year