Software and Computational Systems Lab

Software

(Licensed as free software.)

1. BenchExec: Reliable benchmarking and resource measurement, 2015.
   https://github.com/dbeyer/BenchExec
   
2. BenchCloud: A platform for scalable performance benchmarking, 2024.
   https://gitlab.com/sosy-lab/software/benchcloud/
   
3. Blast: Model checking of software, 2002.
   http://www.sosy-lab.org/~dbeyer/Blast/
   
4. CCVisu: Visual clustering and software-structure assessment, 2005.
   http://www.sosy-lab.org/~dbeyer/CCVisu/
   
5. CheckDep: Tracking software dependencies, 2010.
   http://www.sosy-lab.org/~dbeyer/CheckDep/
   
6. Chic: Checking interface compatibility, 2004.
   
7. CoVeriTeam: On-demand composition of cooperative verification systems, 2022.
   https://gitlab.com/sosy-lab/software/coveriteam/
   
8. CPAchecker: Configurable software verification, 2007.
   http://www.sosy-lab.org/~dbeyer/CPAchecker/
   
9. CPA-Daemon: Mitigating tool restarts for java-based verifiers, 2024.
   https://gitlab.com/sosy-lab/software/cpa-daemon/
   
10. CrocoPat: Relational programming (for software-structure analysis), 2003.
    
11. CSIsat: Interpolation for LA+EUF, 2008.
    
12. DepDigger: Detecting complex low-level dependencies, 2010.
    http://www.sosy-lab.org/~dbeyer/DepDigger/
    
13. FM-Weck: Containerized execution of formal-methods tools, 2024.
    https://gitlab.com/sosy-lab/software/fm-weck/
    
14. JavaSMT: A unified interface for SMT solvers in Java, 2015.
    https://github.com/sosy-lab/java-smt
    
15. TransVer: A modular program-transformation framework for reduction to reachability, 2024.
    https://gitlab.com/sosy-lab/software/transver/
    
16. Rabbit: Verification of real-time systems, 1998.
    

© Dirk Beyer

---

This document was translated from L^AT_EX by H^EV^EA.