Awards for CPAchecker: Two configurations of CPAchecker won a category in the 1st Competition on Software Verification. CPAchecker-Memo (by Univerisity of Paderborn) won the category Overall, and CPAchecker-ABE (by University of Passau) won the category ControlFlowInteger. (More results are available on the competition web site.)


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


Documentation

Papers based on CPAchecker


Mailing Lists

We provide mailing lists for different audiences (cpachecker-announce, cpachecker-users, cpachecker-commits, cpachecker-dev).
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 (the domain is always sosy-lab.org).


Download / Installation

CPAchecker is free software (Apache 2.0 License)

Build-Bot (regression tests on example programs and verification benchmarks)
Just for Fun: Visualization of CPAchecker Project History

News: (Full list: https://svn.sosy-lab.org/software/cpachecker/trunk/NEWS.txt)

Changes since CPAchecker 1.1
----------------------------
* r6066: The option analysis.traversal.useTopsort (used in most configuration files)
  was renamed to analysis.traversal.useReversePostorder as this name is more precise.
* r6060: SMTInterpol, an SMT solver written in Java, is now integrated into CPAchecker.
  With this solver, predicate analysis works on all platforms.
  Some configuration options were renamed in order to not be MathSAT-specific.
* r5958: The log level for the console can now be adjusted during runtime.
  You need a JMX client to do that, e.g., jconsole or VisualVM.
  Connect to the CPAchecker process,
...


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:
  Gregor Endler (2009 - 2010), University of Passau, Germany
  Karlheinz Friedberger (2011), University of Passau, Germany
  Alberto Griggio (2008 - 2009), Simon Fraser University, Canada / University of Trento, Italy
  Peter Häring (2011), University of Passau, Germany
  Andreas Holzer (2008 - 2011), University of Darmstadt, Germany / TU Vienna, Austria
  Michael Käufl (2011), University of Passau, Germany
  Steven Kieffer (2011), Simon Fraser University, Canada
  Alexander von Rhein (2010), University of Passau, Germany
  Andreas Stahlbauer (2011), University of Passau, Germany
  Michael Tautschnig (2008 - 2009), University of Darmstadt, Germany
  Gregory Theoduloz (2009 - 2010), EPFL, Switzerland
  Daniel Wonisch (2011), University of Paderborn, Germany
  Geoff Zenger (2007), Simon Fraser University, Canada

Questions and bug reports:
  Dirk Beyer: CPAchecker-Users@sosy-lab.org


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: 2012-05-18 00:02:42 +0200 (Fri, 18 May 2012) $ by $Author: dbeyer $