MINIME-Validator is an automated tool that generates verifiable standalone benchmarks in C using MRAPI, MCAPI, Graphite, or POSIX (Pthread) libraries for multicore designs.
MINIME-GPU is an automated tool that generates synthetic benchmarks in C++ using OpenCL API.
MINIME is an automated tool that generates synthetic benchmarks in C using MRAPI, MCAPI, or POSIX (Pthread) libraries for multicore designs.
MCAPI, MRAPI, Pthreads synthetic benchmarks can be downloaded here.
Dyndatarace is a binary instrumentaion based dynamic data race detection tool. It includes hybrid, lockset, and happens-before data race implementations.
LLVMF is a formal verification tool for concurrent software that uses LLVM intermediate representation and bounded model checking.
MPVT is a predictive verification tool that allow us to find actual and potential errors in multicore software that uses MCAPI standard.
MMTT is a tool to obtain verification coverage for message passing applications that use MCAPI standard.
AMS-Verify is an analog and mixed-signal (AMS) verification framework inspired from unit testing methodology in software verification.