We provide all benchmarks and scripts here.
We provide all benchmarks, scripts, and experimental results here.
We provide all benchmarks, scripts, and experimental results here.
We provide source code and HW/SW partitioning benchmarks for multi-core model checking here.
We provide the fixed-point digital controller coefficients and the verification results here.
The digital controllers benchmarks implemented in C are available here.
We provide fixed-point digital filters benchmarks implemented in C. Here is another collection of magnitude and phase responses, poles and zeros, and overflow benchmarks.
The C++ benchmarks that we used in our experiments are available here.
The multi-threaded software benchmarks that we used in our experiments are available here. Some of these benchmarks are taken from the Vv-lab, Helgrind, and the Inspect tool.
The pulse oximeter benchmark is available here; we also provide here the test harness, monitor, and LTL spec and a modified version of the checksum to verify timing constraints.
The crossing bridge benchmark is available here. |