Authors/Maintainers:
  Dirk Beyer
  Erkan Keremoglu

Contributors:
  Gregor Endler (2009 - 2010)
  Alberto Griggio (2008 - 2009)
  Andreas Holzer (2008 - 2010)
  Michael Tautschnig (2008 - 2009)
  Gregory Theoduloz (2009 - 2010)
  Philipp Wendler (2009 - 2010)


Bug reports:
  Dirk Beyer: CPAchecker-Users@sosy-lab.org