Tools

  • MINIME-Validator

    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

    MINIME-GPU is an automated tool that generates synthetic benchmarks in C++ using OpenCL API.

  • MINIME: Pattern-Aware Multicore Benchmark Synthesizer

    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.

  • Dynamic Data Race Detection Tool (Dyndatarace)

    Dyndatarace is a binary instrumentaion based dynamic data race detection tool. It includes hybrid, lockset, and happens-before data race implementations.

  • LLVM Verification Framework (LLVMF)

    LLVMF is a formal verification tool for concurrent software that uses LLVM intermediate representation and bounded model checking.

  • MCAPI Predictive Verification Tool (MPVT)

    MPVT is a predictive verification tool that allow us to find actual and potential errors in multicore software that uses MCAPI standard.

  • MCAPI Mutation Testing Tool (MMTT)

    MMTT is a tool to obtain verification coverage for message passing applications that use MCAPI standard.

  • AMS-Verify

    AMS-Verify is an analog and mixed-signal (AMS) verification framework inspired from unit testing methodology in software verification.