GitHub repository: DependableSystemsLab/Trident
Primary language: C++
Description: Trident is a tool to analytically model the Silent-Data Corruption (SDC) rate of a program, to replace expensive fault injection experiments. Please refer to our papers at DSN 2018 for more details (links in the README)