Partially Proven Function - An output function that is not itself fully proven, yet for which an associated failure mode or lower-level function has been proven. In eXpress, probability-weighted metrics take partially proven functions into consideration. Some of the non-probability-weighted Fault Detection metrics, however (such as the Min. Functions Detected and Total Functions Detected calculations in the Detection Order Report) do not take partially proven functions into consideration.
