Proof of Compositionality of CFT Correctness
arXiv:1907.09920v13 citations
Originality Synthesis-oriented
AI Analysis
This work addresses the problem of ensuring reliability in safety-critical systems for engineers and researchers, but it is incremental as it builds on prior theoretical discussions.
The paper tackles the formal verification of component fault trees by providing a formal proof of the central theorem regarding their compositionality of correctness, establishing a foundational result for the method.
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.