Coyan: Fault Tree Analysis - Exact and Scalable. - Nazareno Garagiola; Holger Hermanns; Pedro R. D'Argenio (SAFECOMP, 2024)

Artifact for "Coyan: Fault Tree Analysis - Exact and Scalable". - Nazareno Garagiola; Pedro R. D'Argenio; Holger Hermanns (Zenodo, 2024)