Proof of Compositionality of CFT Correctness
Software Engineering
2019-07-24 v1 Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.1907.09920,
title = {Proof of Compositionality of CFT Correctness},
author = {Simon Greiner and Peter Munk and Arne Nordmann},
journal= {arXiv preprint arXiv:1907.09920},
year = {2019}
}