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

