A Software Tool for Automatically Verified Operations on Intervals and Probability Distributions

  title={A Software Tool for Automatically Verified Operations on Intervals and Probability Distributions},
  author={Daniel Berleant and Hang Cheng},
  journal={Reliable Computing},
We describe a software tool for performing automatically veri ed arithmetic operations on independent operands when the operands are intervals, or probability distribution functions, or one operand is an interval and the other is a distribution. Intervals and distributions are expressed using the same technique, so the algorithms do not need to distinguish between intervals and distributions in their operation. The tool can calculate common arithmetic operations with guaranteed results (as well… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-5 of 5 references

Software Tool for Automatically Veri ed Reasoning with Intervals and Cumulative Distribution Functions," Master's Thesis, Dept. of Computer Systems Engineering, U

  • H. Cheng
  • 1994
1 Excerpt

onen, \Spreadsheets Based on Interval Constraint Satisfaction,

  • E. Hyv
  • Arti cial Intelligence for Engineering Design…
  • 1994
1 Excerpt

Diltz, \A Stochastic Dominance Approach to Risk Analysis of Computer Systems," Management

  • J.D.G.V. Post
  • Information Systems Quarterly,
  • 1986
1 Excerpt

Designing for Reliability Based on Probabilistic Modeling Using Remote Access Computer Systems,

  • G. E. Ingram, E. L. Welker, C. R. Herrmann
  • Proceedings 7th Reliability and Maintainability…
  • 1968
1 Excerpt

Kolmogorov), \Con dence Limits for an Unknown Distribution Function,

  • A. Kolmogoro a.k.a
  • Annals of Mathematical Statistics,
  • 1941
1 Excerpt

Similar Papers

Loading similar papers…