All software that we develop or maintain is copyrighted as free software.
Most of our software is available on
or 
.
Current Projects
-
CPAchecker
The Configurable Software-Verification Platform
-
BenchExec
A Framework for Reliable Benchmarking and Resource Measurement
-
JavaSMT
A unified Java API for SMT solvers
-
CondTest
Components for conditional testing
-
CoVeriTeam
A tool for on-demand composition of cooperative verification systems
-
CPU Energy Meter
A tool for measuring energy consumption of (Intel) CPUs
-
llvm-j
A Java library for parsing and modifying LLVM IR
-
MetaVal
A validator for witness-based result validation
-
PJBDD
A parallel BDD library, based on ideas from Sylvan, written in Java
-
PRTest
A plain random tester. Random test generation for C programs
-
pybib2web
Takes your bibliography files and turns them into categorized and indexed HTML pages
-
TestCov
Robust test execution, coverage measurement and test-suite reduction for C
-
Btor2-Cert
A Certifying and Validating Hardware-Verification Framework Using Software Analyzers
-
CPV
A Circuit-based Program Verifier
Past Projects
-
Blast
A software model checker for C programs
-
CCVisu
A light-weight tool for force-directed graph layout
-
CheckDep
A diff-tool on the dependency level for tracking software dependencies
-
Chic
A modular verifier for behavioral compatibility checking of software and hardware components
-
CrocoPat
A tool for simple and efficient relational programming
-
CSISat
An interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols
-
DepDigger
An Eclipse plug-in that identifies complex data-flow dependencies on the code level
-
Rabbit
A tool for BDD-based verification of real-time systems
-
TBF
A framework for using test case generators to locate errors in C programs