GitHub repository: sws-lab/cooperace
Primary language: SWIG
Description: CoOpeRace: Cooperative Data Race Verification