ottseb

followers

0

following

stars

Organizations

sosy-lab

Sebastian Ott's repositories

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonApache-2.0000

sv-benchmarks

Language:C010