Popular repositories

1. wit4java wit4java Public

   An execution-based violation-witness validator for Java

   Python 6

2. benchmarks benchmarks Public

   Full wit4java benchmarking suite

   1

3. benchexec benchexec Public

   Forked from sosy-lab/benchexec

   BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

   Python