Coyan is a tool that processes Static Fault Trees to compute the Top Event Probabilty.
Primary LanguageRustMIT LicenseMIT