6 open source projects by sosy-lab

Collection of Verification Tasks

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

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

JavaSMT - Unified Java API for SMT solvers.

A tool for measuring energy consumption of Intel CPUs

Information to reproduce results from SV-COMP (MOVED, please follow the link)