Skip to content

@wit4java wit4java

All

    Repositories list

    3 repositories

    • wit4java

      Public
      An execution-based violation-witness validator for Java
      pythonjavavalidation
      pythonjavavalidationsv-comp
      Python
      •
      Other
      •0•6•7•1•Updated Mar 19, 2026Mar 19, 2026

    • benchexec

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

    • benchmarks

      Public
      Full wit4java benchmarking suite
      benchmarkprofilingbenchexec
      benchmarkprofilingbenchexec
      0•1•0•0•Updated Jul 26, 2022Jul 26, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.