Software and Computational Systems Lab

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/