2 Papers accepted at SEFM'20: "Difference Verification with Conditions" and "FRed: Conditional Model Checking via Reducers and Folders"

All programs that we developed or maintain are copyrighted as free software.

Some of our software is also available on GitHub .

  1. BenchExec: Reliable benchmarking and resource measurement, 2015.
    https://github.com/dbeyer/BenchExec
  2. Blast: Model checking of software, 2002.
    http://www.sosy-lab.org/~dbeyer/Blast/
  3. CCVisu: Visual clustering and software-structure assessment, 2005.
    http://www.sosy-lab.org/~dbeyer/CCVisu/
  4. CheckDep: Tracking software dependencies, 2010.
    http://www.sosy-lab.org/~dbeyer/CheckDep/
  5. Chic: Checking interface compatibility, 2004.
    http://www.sosy-lab.org/~dbeyer/Chic/
  6. CPAchecker: Configurable software verification, 2007.
    http://www.sosy-lab.org/~dbeyer/CPAchecker/
  7. CrocoPat: Relational programming (for software-structure analysis), 2003.
    http://www.sosy-lab.org/~dbeyer/CrocoPat/
  8. CSIsat: Interpolation for LA+EUF, 2008.
    http://www.sosy-lab.org/~dbeyer/CSIsat/
  9. DepDigger: Detecting complex low-level dependencies, 2010.
    http://www.sosy-lab.org/~dbeyer/DepDigger/
  10. JavaSMT: A unified interface for SMT solvers in Java, 2015.
    https://github.com/sosy-lab/java-smt
  11. Rabbit: Verification of real-time systems, 1998.
    http://www.sosy-lab.org/~dbeyer/Rabbit/