News


Bugs Found with CPAchecker


Objectives

The name CPAchecker was chosen to reflect that the tool is based on the CPA concepts and is used for checking software programs.

Authors/Maintainers: Dirk Beyer, Stefan Löwe, and Philipp Wendler


Awards


Documentation

Papers Based on CPAchecker


Mailing Lists

We provide mailing lists for different audiences (cpachecker-announce, cpachecker-users, cpachecker-commits, cpachecker-devel).
A description of the mailing lists and how to subscribe can be found in the file Mailing.txt in the project trunk.
For installation questions, bug reports, and suggestions, please send email to CPAchecker-Users@googlegroups.com (please subscribe).


Download / Installation

CPAchecker is free software (Apache 2.0 License)

Project statistics at Ohloh
Just for Fun: Visualization of CPAchecker Project History

Latest news for development version: (Full list)

Changes since CPAchecker 1.3.4
------------------------------
* The SMT solver Princess (http://www.philipp.ruemmer.org/princess.shtml)
  has been integrated into CPAchecker's predicate analysis
  and can be selected with cpa.predicate.solver=princess
Changes from CPAchecker 1.2 to CPAchecker 1.3.4
-----------------------------------------------
Main changes:
... (more)


Acknowledgements

We thank the following people for their help: (Source: https://svn.sosy-lab.org/software/cpachecker/trunk/Authors.txt)

Main Authors/Maintainers:
  Dirk Beyer (since 2007), Simon Fraser University, Canada / University of Passau, Germany
  Stefan Löwe (since 2010), University of Passau, Germany
  Philipp Wendler (since 2009), University of Passau, Germany

Former Maintainers:
  Erkan Keremoglu (2008 - 2011), Simon Fraser University, Canada

Contributors:
  Pavel Andrianov (since 2014), Russian Academy of Sciences, Russia
  Matthias Dangl (since 2012), University of Passau, Germany
  Alexander Driemeyer (since 2012), University of Passau, Germany
  Karlheinz Friedberger (since 2011), University of Passau, Germany
  Andreas Holzer (since 2008), University of Darmstadt, Germany / TU Vienna, Austria
  Marie-Christine Jakobs (since 2012), University of Paderborn, Germany
  George Karpenkov (since 2014), Verimag, Grenoble
  Thomas Lemberger (since 2014), University of Passau, Germany
  Mikhail Mandrykin (since 2013), Russian Academy of Sciences, Russia
  Petr Muller (since 2012), Brno University of Technology, Czech Republic
  Vadim Mutilin (since 2012), Russian Academy of Sciences, Russia
  Andreas Stahlbauer (since 2011), University of Passau, Germany / GrammaTech, USA
  Thomas Stieglmaier (since 2011), University of Passau, Germany

Former Contributors:
  Christian Bielert (2013 - 2014), University of Passau, Germany
  Mike Czech (2013), University of Paderborn, Germany
  Przemislaw Daca (2011 - 2012), Technical University of Denmark, Denmark
  Peter Dahlberg (2013 - 2014), University of Passau, Germany
  Matthias Dittrich (2013), University of Passau, Germany
  Georg Dresler (2013-2014), University of Passau, Germany
  Gregor Endler (2009 - 2010), University of Passau, Germany
  Tobias Friedl (2013 - 2014), University of Passau, Germany
  Alberto Griggio (2008 - 2009), Simon Fraser University, Canada / University of Trento, Italy
  Peter Häring (2011 - 2014), University of Passau, Germany
  Michael Käufl (2011), University of Passau, Germany
  Steven Kieffer (2011 - 2012), Simon Fraser University, Canada
  Stefan Peters (2011 - 2012), University of Passau, Germany
  Florian Quadt (2013 - 2014), University of Passau, Germany
  Alexander von Rhein (2010), University of Passau, Germany
  Alexander Schremmer (2012 - 2013), University of Paderborn, Germany
  Michael Tautschnig (2008 - 2009), University of Darmstadt, Germany
  Gregory Theoduloz (2009 - 2010), EPFL, Switzerland
  Daniel Wonisch (2011 - 2012), University of Paderborn, Germany
  Geoff Zenger (2007), Simon Fraser University, Canada

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


Friends of CPAchecker

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


Author: Dirk Beyer, other project pages: BLAST, CCVisu, Chic, CrocoPat, CSIsat, Rabbit


Last updated: $Date: 2014-11-01 11:51:48 +0100 (Sat, 01 Nov 2014) $ by $Author: pwendler $