sosy-lab/tbf sosy-lab/tbf

  • This repository has been archived on 11/Mar/2019
  • Stars
    star
    9
  • Rank 1,886,361 (Top 39 %)
  • Language
    OCaml
  • License
    Other
  • Created over 7 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sosy-lab/tbf
github

sosy-lab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A framework for using test case generators to locate errors in C programs

More Repositories

1

cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Java
207
star
2

sv-benchmarks

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

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Python
185
star
4

java-smt

JavaSMT - Unified Java API for SMT solvers.
Java
169
star
5

cpu-energy-meter

A tool for measuring energy consumption of Intel CPUs
C
106
star
6

sv-witnesses

An Exchange Format for Verification Witnesses (MOVED, please follow the link)
Python
18
star
7

sv-comp

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

java-common-lib

SoSy-Lab Java Common Library
Java
11
star