SEJul 23, 2019
Proof of Compositionality of CFT CorrectnessSimon Greiner, Peter Munk, Arne Nordmann
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.