Stochastic Models
Stochastic models provide a framework for either
probabilistic verification or statistical validation.
Probabilistic verificaiton may assert, for example,
that with high probability, a design will stay
within operating parameters for all possible inputs.
Statistical validation may assert, for example,
that a large percentage of usage scenarios will
result in performance that is satisfactory to the user.
Stochastic models are particularly useful for
assessing reliability of a system, providing
either probabilities of failure or statistical assertions
about failure.