CPAchecker: A Tool for Configurable Software Verification

Software Systems Lab
University of Passau, Bavaria, Germany


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 and Erkan Keremoglu

Download

SVN repository: http://svn.sosy-lab.org/software/cpachecker (currently, you still need to request an account first)
Project page available at Google Code: http://cpachecker.googlecode.com (not yet active)
(includes source-code repository and downloads).

Mailing Lists

We provide mailing list for differents 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 HowToMailing.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).

Documentation

Papers based on CPAchecker


Acknowledgements

We thank the following people for their help:
(A complete and detailed list can be found in the file Authors.txt in the project trunk.)

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

Last updated: $Date: 2010-02-06 11:38:39 +0100 (Sat, 06 Feb 2010) $ by $Author: dbeyer $