Publication | Closed Access
An Algorithm for Symbolic Reliability Computation with Path-sets or Cut-sets
22
Citations
2
References
1987
Year
EngineeringSymbolic ExpressionVerificationSymbolic Reliability ComputationComputational ComplexityProbabilistic ComputationSystem ReliabilitySymbolic ComputationFormal VerificationReliability EngineeringSystems EngineeringCombinatorial OptimizationResultant Symbolic ExpressionProbabilistic SystemComputer ScienceDependability ModellingReachability AnalysisAutomated ReasoningProgram AnalysisProbabilistic VerificationFormal MethodsSymbolic Execution
An algorithm obtains a symbolic expression for system reliability, given a set of events (path-sets or cut-sets) as input. The algorithm is simple in structure and uses few probability laws. The resultant symbolic expression is compact and requires relatively few arithmetic operations in its evaluation.
| Year | Citations | |
|---|---|---|
Page 1
Page 1