How to Hand-Check a Symbolic Reliability Expression

  title={How to Hand-Check a Symbolic Reliability Expression},
  author={Ali M. Rushdi},
  journal={IEEE Transactions on Reliability},
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