Software
All of these tools
were realized with
significant
contributions by
various colleagues and in particular by
Ph.D. students
-
FunFrog -
Function-summarization-based
Bounded ModelChecker
-
eVolCheck -
Interpolation-based
Upgrade Checker
-
LoopFrog -
Abstract Interpretation-based static analyzer
-
OpenSMT -
Open source SMT solver
-
Periplo -
Open
source
SAT
solver,
proof
transformation
and
interpolation engine
-
SAFARI -
Model checker for programs with arrays
-
SATABS -
Model checker for C programs
-
ComFoRT -
Formal reasoning framework for analysis of component-based designs
-
ObjectCheck -
Toolset for Design and Analysis of Object-Oriented Programs