CPAchecker

Acknowledgements

We thank the following people for their help:

Maintainers

• Beyer, Dirk (since 2007); LMU Munich, Germany
• Wendler, Philipp (since 2009); LMU Munich, Germany

Former Maintainers

• Keremoglu, Erkan (2008 - 2011); SFU, Canada

Developers/Contributors

• Baier, Daniel (since 2021); LMU Munich, Germany
• Bajczi, Levente (since 2024); Budapest University of Technology and Economics, Hungary
• Chien, Po-Chun (since 2021); LMU Munich, Germany
• Friedberger, Karlheinz (since 2011); LMU Munich, Germany
• Jakobs, Marie-Christine (since 2012); LMU Munich, Germany
• Jankola, Marek (since 2023); LMU Munich, Germany
• Kettl, Matthias (since 2019); LMU Munich, Germany
• Lee, Nian-Ze (since 2020); LMU Munich, Germany
• Lemberger, Thomas (since 2014); LMU Munich, Germany
• Lingsch-Rosenfeld, Marian (since 2020); LMU Munich, Germany
• Raffler, Daniel (since 2024); LMU Munich, Germany
• Wachowitz, Henrik (since 2022); LMU Munich, Germany

Former Developers/Contributors

• Ali, Schindar (2020); LMU Munich, Germany
• Amslgruber, Niklas (2020); LMU Munich, Germany
• Andrianov, Pavel (2014 - 2022); ISP RAS, Russia
• Angelis, Emanuele De (2013 - 2014); University of Chieti and Pescara, Italy
• Beck, Moritz (2019 - 2020); LMU Munich, Germany
• Bermeitinger, Bernhard (2015); University of Passau, Germany
• Bielert, Christian (2013 - 2014); University of Passau, Germany
• Brand, Stefan (2015); University of Passau, Germany
• Bröcher, Henrik (2016); University of Paderborn, Germany
• Bruckmeier, Michael (2011); University of Passau, Germany
• Brunn, Jens (2020 - 2021); TU Darmstadt, Germany
• Buhl, Moritz (2018); LMU Munich, Germany
• Bunk, Thomas (2018 - 2023); LMU Munich, Germany
• Bürdek, Johannes (2014 - 2018); TU Darmstadt, Germany
• Castaño, Rodrigo (2017 - 2018); University of Buenos Aires, Argentina
• Chalupa, Marek (2018 - 2019); Masaryk University, Czechia
• Cimbalnik, Klara (2020 - 2023); LMU Munich, Germany
• Czech, Mike (2013 - 2014); University of Paderborn, Germany
• Daca, Przemislaw (2011 - 2012); Technical University of Denmark, Denmark
• Dahlberg, Peter (2013 - 2016); University of Passau, Germany
• Damböck, Benedikt (2023); LMU Munich, Germany
• Dangl, Matthias (2012 - 2019); LMU Munich, Germany
• Dittrich, Matthias (2013); University of Passau, Germany
• Donig, Andreas (2010 - 2013); University of Passau, Germany
• Dresler, Georg (2013 - 2014); University of Passau, Germany
• Driemeyer, Alexander (2012 - 2016); University of Passau, Germany
• Eckl, Barbara (2016); University of Passau, Germany
• Endler, Gregor (2009 - 2010); University of Passau, Germany
• Esch, Alexander (2012); University of Passau, Germany
• Estler, Flutura (2018); LMU Munich, Germany
• Fararooy, Ashgan (2009); SFU, Canada
• Friedl, Tobias (2013 - 2014); University of Passau, Germany
• Gerlach, Matthias (2017 - 2018); LMU Munich, Germany
• Griggio, Alberto (2008 - 2009); SFU, Canada / University of Trento, Italy
• Hagenhof, Christian (2015); University of Passau, Germany
• Hagl, Raphael (2018 - 2019); LMU Munich, Germany
• Hailer, Maximilian (2022); LMU Munich, Germany
• Haltermann, Jan (2019 - 2023); University of Oldenburg, Germany
• Häring, Peter (2011 - 2014); University of Passau, Germany
• Heydebrand, Julian (2015); University of Passau, Germany
• Hoffmann, Sascha (2022 - 2023); TU Darmstadt, Germany
• Holzer, Andreas (2008 - 2015); TU Darmstadt, Germany / TU Vienna, Austria
• Holzner, Stephan (2019 - 2021); LMU Munich, Germany
• Ivanov, Dejan (2017); LMU Munich, Germany
• Kafounis, Angelos (2020); LMU Munich, Germany
• Kanav, Sudeep (2021); LMU Munich, Germany
• Karpenkov, George (2014 - 2017); Verimag, Grenoble
• Käufl, Michael (2011); University of Passau, Germany
• Kieffer, Steven (2011 - 2012); SFU, Canada
• Knaut, Johannes (2018); LMU Munich, Germany
• Kolesnykov, Vladyslav (2020); LMU Munich, Germany
• Koos, Alexander (2017 - 2018); LMU Munich, Germany
• Korth, Philipp (2012); University of Paderborn, Germany
• Kotoun, Michal (2018); Brno University of Technology, Czechia
• Kronawitter, Stefan (2012); University of Passau, Germany
• Kühn, Camilla (2022); TU Darmstadt, Germany
• Lachner, Michael (2020 - 2021); LMU Munich, Germany
• Letko, Zdenek (2014); Brno University of Technology, Czechia
• Löwe, Stefan (2010 - 2016); University of Passau, Germany
• Lukasczyk, Stephan (2015 - 2016); University of Passau, Germany
• Maier, Michael (2017 - 2019); LMU Munich, Germany
• Mandrykin, Mikhail (2013 - 2017); ISP RAS, Russia
• Maringer, Alexander (2010); University of Passau, Germany
• Markin, Grigory (2017 - 2020); University of Lübeck, Germany
• Massard, Sven (2019-2020); LMU Munich, Germany
• Mordan, Vitaly (2014 - 2018); ISP RAS, Russia
• Muller, Petr (2012 - 2014); Brno University of Technology, Czechia
• Murr, Magdalena (2015); University of Passau, Germany
• Mutilin, Vadim (2012 - 2020); ISP RAS, Russia
• Nandanwar, Lokesh (2018); National Institute of Technology Durgapur, India
• Olbrich, Christian (2014); University of Passau, Germany
• Onderka, Jan (2023); CTU Prague, Czech Republic
• Ott, Sebastian (2013 - 2016); University of Passau, Germany
• Peters, Stefan (2011 - 2012); University of Passau, Germany
• Pollandt, Tim (2021 - 2022); TU Darmstadt, Germany
• Pöllmann, Daniel (2019); LMU Munich, Germany
• Port, Valentin (2019 - 2023); LMU Munich, Germany
• Quadt, Florian (2013 - 2014); University of Passau, Germany
• Ratke, Sabine (2020); LMU Munich, Germany
• Rhein, Alexander von (2010); University of Passau, Germany
• Rust, Henry (2021); TU Darmstadt, Germany
• Scheffel, Sebastian (2014 - 2015); University of Passau, Germany
• Schönberger, Frederic (2021); LMU Munich, Germany
• Schremmer, Alexander (2012 - 2013); University of Paderborn, Germany
• Schüss, Balthasar (2019 - 2021); LMU Munich, Germany
• Seibt, Georg (2015); University of Passau, Germany
• Selberg, Jakob (2018 - 2020); LMU Munich, Germany
• Sell, Leon (2015 - 2016); University of Passau, Germany
• Serdyukov, Denys (2021); TU Darmstadt, Germany
• Speidel, Hendrik (2010); University of Passau, Germany
• Spießl, Martin (2017 - 2023); LMU Munich, Germany
• Sridharan, Sarita (2019 - 2020); LMU Munich, Germany
• Stahlbauer, Andreas (2011 - 2016); University of Passau, Germany / GrammaTech, USA
• Stieglmaier, Thomas (2011 - 2016); University of Passau, Germany
• Syri, Maximilian (2015 - 2016); University of Passau, Germany
• Tautschnig, Michael (2008 - 2009); TU Darmstadt, Germany
• Theoduloz, Gregory (2009 - 2010); EPFL, Switzerland
• Töws, Manuel (2016); University of Paderborn, Germany
• Tornede, Tanja (2014 - 2016); University of Paderborn, Germany
• Trapp, Mirjam (2018 - 2019); LMU Munich, Germany
• Tschöpel, Sebastian (2021); LMU Munich, Germany
• Umbricht, Sven (2020 - 2024); LMU Munich, Germany
• Vasilyev, Anton (2015 - 2022); ISP RAS, Russia
• Volkov, Anton (2015 - 2018); ISP RAS, Russia
• Weise, Nico (2019 - 2021); LMU Munich, Germany
• Wiesholler, Max (2018 - 2019); LMU Munich, Germany
• Winter, Katharina (2018 - 2019); LMU Munich, Germany
• Woller, Christoph (2014 - 2015); University of Passau, Germany
• Wonisch, Daniel (2011 - 2012); University of Paderborn, Germany
• Yang, Zhu (2023); LMU Munich, Germany
• Zenger, Geoff (2007); SFU, Canada
• Zorneck, Gernot (2016 - 2017); University of Passau, Germany
• Zakharov, Ilja (2016); ISP RAS, Russia

Questions and bug reports:
Beyer, Dirk: CPAchecker-Users@googlegroups.com (cf. doc/Mailing.md)

(Source: Authors.md)

The map of contributors shows the location of all current and previous contributors around the world.

Friends of CPAchecker

The following projects use CPAchecker's technology, or perform research on related technology:

• BLAST: A Software Model Checker for C
  Predecessor of CPAchecker, BLAST was proving useful many ideas that we integrated in CPAchecker as well.
• MathSAT and SMTInterpol: Interpolating SMT solvers for LA+EUF
  CPAchecker uses MathSAT or SMTInterpol for solving interpolation and satisfiability queries.
• Sylvan: Parallel BDD package
  CPAchecker optionally uses Sylvan as BDD package.
• BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  BenchExec is recommended for benchmarking CPAchecker and is used for regression testing.
• Jakstab: A Static Analysis Platform for Binaries
  Implementation based on Configurable Program Analysis.
• LDV: Linux Driver Verification
  Research group that verifies Linux drivers using CPAchecker.
  List of bugs that were found by LDV (with the help of BLAST, CPAchecker, and other tools)
• SyCMC: A Software Model Checker for System-C
  Implementation based on Large Block Encoding.