GitHub repository: tm507211/duet
Primary language: C
Description: Duet: static analysis for unbounded concurrency