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.
   Contributor.
   
   
2. Blast: Model Checking of Software.
   Contributor, conceptual extensions, implementation, and maintenance.
   
   
3. CCVisu: Visual Clustering and Software-Structure Assessment.
   Principal designer and implementer.
   
   
4. CheckDep: Tracking Software Dependencies.
   Principal designer, architect, and maintenance.
   
   
5. Chic: Checking Interface Compatibility.
   Contributor, new formalism, and verification algorithm.
   
   
6. CPAchecker: Configurable Software Verification.
   Principal designer, architect, implementation, and maintenance.
   
   
7. CrocoPat: Relational Programming (for Software-Structure Analysis).
   Principal designer and implementer.
   
   
8. CSIsat: Interpolation for LA+EUF.
   Contributor and designer.
   
   
9. DepDigger: Detecting Complex Low-Level Dependencies.
   Principal designer, architect, and maintenance.
   
   
10. JavaSMT: A Unified Interface for SMT Solvers in Java.
    Contributor.
    
    
11. Rabbit: Verification of Real-Time Systems.
    Principal designer and implementer.