Skip to content

@wit4java wit4java

Change the repository type filter

All

    Repositories list

    3 repositories

    • wit4java

      Public
      An execution-based violation-witness validator for Java
      pythonjavavalidationsv-comp
      Python
      •
      Other
      •0•6•7•1•Updated Jul 22, 2025Jul 22, 2025

    • benchexec

      Public
      BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
      Python
      •
      Apache License 2.0
      •225•0•0•0•Updated Oct 31, 2022Oct 31, 2022

    • benchmarks

      Public
      Full wit4java benchmarking suite
      benchmarkprofilingbenchexec
      0•1•0•0•Updated Jul 26, 2022Jul 26, 2022