How to Hand-Check a Symbolic Reliability Expression

@article{Rushdi1983HowTH,
  title={How to Hand-Check a Symbolic Reliability Expression},
  author={Ali M. Rushdi},
  journal={IEEE Transactions on Reliability},
  year={1983},
  volume={R-32},
  pages={402-408}
}
Checking symbolic reliability expressions is very useful for detecting faults in hand derivations and for debugging computer programs. This checking can be achieved in a systematic way, though it may be a formidable task. Three exhaustive tests are given. These tests apply to unreliability and reliability expressions for noncoherent as well as coherent… CONTINUE READING