Which verification method is most appropriate for confirming that a system meets a quantitative performance requirement?