HyPro: A C++ state set representation library for the analysis of hybrid systems

An I/O-efficient implementation of (Binary) Decision Diagrams

DKIM Verifier Extension for Mozilla Thunderbird

Dump structure from a binary SML (Smart Message Language) file

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

SoSy-Lab Java Common Library

ACM consolidated LaTeX styles

JavaSMT - Unified Java API for SMT solvers.

Collection of Verification Tasks (MOVED, please follow the link)

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement