sosy-lab/java-common-lib sosy-lab/java-common-lib

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Java
  • License
    Apache License 2.0
  • Created about 9 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sosy-lab/java-common-lib
github

sosy-lab

Reviews

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

Repository Details

SoSy-Lab Java Common Library

More Repositories

1

cpu-energy-meter

A tool for measuring energy consumption of Intel CPUs
C
320
star
2

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Python
227
star
3

cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Java
222
star
4

sv-benchmarks

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

java-smt

JavaSMT - Unified Java API for SMT solvers.
Java
178
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)
15
star
8

tbf

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