×

CPAchecker

swMATH ID: 7408
Software Authors: Beyer, Dirk; Löwe, Stefan; Wendler, Philipp
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; z3; CBMC; SLAM; UFO; KLEE; SatAbs; SeaHorn; NuSMV; SMTInterpol; SPIN; LLVM; Wolverine; Isabelle/HOL; LLBMC; SMACK; Threader; Predator; MathSAT5; GitHub
Cited in: 53 Documents

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

Cited by 142 Authors

4 Duan, Zhenhua
4 Podelski, Andreas
4 Tian, Cong
4 Zhang, Nan
3 Beyer, Dirk
3 Du, Hongwei
3 Wehrheim, Heike
2 Cimatti, Alessandro
2 Dangl, Matthias
2 Dietsch, Daniel
2 Giesl, Jürgen
2 Gurfinkel, Arie
2 Haltermann, Jan
2 Hensel, Jera
2 Hoenicke, Jochen
2 Jakobs, Marie-Christine
2 Rümmer, Philipp
2 Sharygina, Natasha
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 Bauer-Marquart, Fabian
1 Bessa, Iury
1 Blicha, Martin
1 Bøgsted Poulsen, Danny
1 Botinčan, Matko
1 Britikov, Konstantin
1 Brockschmidt, Marc
1 Bruttomesso, Roberto
1 Chalupa, Marek
1 Chaves, Lennon
1 Chechik, Marsha
1 Chen, Liqian
1 Cordeiro, Lucas C.
1 Cousot, Patrick
1 Daniel, Jakub
1 Ermis, Evren
1 Ernst, Gidon
1 Fantechi, Alessandro
1 Flanagan, Cormac
1 Frohn, Florian
1 Fu, Yu-Fu
1 Fuhs, Carsten
1 García-Contreras, Isabel
1 Garzella, Jack J.
1 Ghilardi, Silvio
1 Gnesi, Stefania
1 Greitschus, Marius
1 Griggio, Alberto
1 Gulwani, Sumit
1 Gupta, Ashutosh
1 Hajdu, Ákos
1 He, Shaobo
1 Heizmann, Matthias
1 Heljanko, Keijo
1 Henzinger, Thomas A.
1 Holzer, Andreas
1 Hsu, Kyle
1 Isenberg, Tobias
1 Jhala, Ranjit
1 Karpenkov, Egor George
1 Kondrat’ev, Dmitriĭ Aleksandrovich
1 König, Barbara
1 Konnov, Igor V.
1 Koskinen, Eric
1 Křena, Bohuslav
1 Kröning, Daniel
1 Kukovec, Jure
1 Kulczynski, Mitja
1 Langenfeld, Vincent
1 Lauko, Henrich
1 Leroux, Jérôme
1 Leue, Stefan
1 Li, Xie
1 Li, Yi
1 Li, Yong
1 Liu, Jiangchao
1 Liu, Jiaxiang
1 Lotz, Kevin
1 Majumdar, Rupak
1 Mallik, Kaushik
1 Mazzanti, Franco
1 Meseguer Guaita, José
1 Micskei, Zoltán
1 Monniaux, David P.
1 Mutilin, V. S.
1 Narasamdya, Iman
1 Navas, Jorge A.
1 Nowotka, Dirk
1 Parízek, Pavel
1 Pauck, Felix
1 Radhakrishna, Arjun
1 Rakamarić, Zvonimir
1 Ranise, Silvio
...and 42 more Authors
all top 5

Cited in 12 Serials

4 Journal of Automated Reasoning
3 Theoretical Computer Science
3 Journal of Logical and Algebraic Methods in Programming
2 Formal Methods in System Design
1 Acta Informatica
1 International Journal of General Systems
1 Automatica
1 Programming and Computer Software
1 Journal of Combinatorial Optimization
1 Lecture Notes in Computer Science
1 Logical Methods in Computer Science
1 Modelirovanie i Analiz Informatsionnykh Sistem
all top 5

Cited in 8 Fields

51 Computer science (68-XX)
9 Mathematical logic and foundations (03-XX)
3 Systems theory; control (93-XX)
1 General and overarching topics; collections (00-XX)
1 Statistics (62-XX)
1 Quantum theory (81-XX)
1 Operations research, mathematical programming (90-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year