We present a versatile statistical verification methodology based on Statistical Learning Theory. We illustrate different uses of this methodology on two examples of non-linear real-time UAV (unmanned aerial vehicle) controllers. The first example applies our statistical methodology to the verification of a computation time property for a software implementation of a high-performance controller as a function of controller state variable values. The second example illustrates our statistical verification methodology applied to finding verifiably safe flight envelopes for a class of maneuvers, again as a function of controller state variable values. We compare our approach to verification with other statistical techniques used for estimating execution times and controller performance.
