jcp19/SPIDER

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

语言：Java · GitHub 星标：18 · Fork：1

话题：debugging-tools · distributed-systems · race-conditions · race-detection · race-detection-engines · runtime-verification · testing-tools · traces

在 GitHub 上查看原仓库