race-detection-engines

There are 2 repositories under race-detection-engines topic.

  • focs-lab/rapid

    Dynamic Analysis for Concurrent Programs

    Language:Java22549

  • jcp19/SPIDER

    Automated data race detection from a distributed trace via SMT constraint solving

    Language:Java164171