Proof of Compositionality of CFT Correctness

07/23/2019

∙

by   Simon Greiner, et al.

∙

0

∙

share

In the paper Compositionality of Component Fault Trees, we present a discussion of the compositionality of correctness of component fault trees. In this technical report, we present the formal proof of the central theorem of the aforementioned publication.