All programs that we developed or maintain are copyrighted as free software.
Some of our software is also available on GitHub.
-
BenchExec: Reliable Benchmarking and Resource Measurement.
Contributor.
-
Blast: Model Checking of Software.
Contributor, conceptual extensions, implementation, and maintenance.
-
CCVisu: Visual Clustering and Software-Structure Assessment.
Principal designer and implementer.
-
CheckDep: Tracking Software Dependencies.
Principal designer, architect, and maintenance.
-
Chic: Checking Interface Compatibility.
Contributor, new formalism, and verification algorithm.
-
CPAchecker: Configurable Software Verification.
Principal designer, architect, implementation, and maintenance.
-
CrocoPat: Relational Programming (for Software-Structure Analysis).
Principal designer and implementer.
-
CSIsat: Interpolation for LA+EUF.
Contributor and designer.
-
DepDigger: Detecting Complex Low-Level Dependencies.
Principal designer, architect, and maintenance.
-
JavaSMT: A Unified Interface for SMT Solvers in Java.
Contributor.
-
Rabbit: Verification of Real-Time Systems.
Principal designer and implementer.