GitHub repository: yunaaan/racebench
Description: Examples for NASAC 2019 interrupt race detection competition