DependableSystemsLab/Trident

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)

Language: C++ - Size: 199 MB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 6 - Forks: 7