a methodology to certify with a certain degree of confidence whether a given controller
satisfies a predefined set of specifications. The methodology is applied to testing AQM
controllers for efficiency in congestion control, by repeating detailed simulations under a
variety of network configurations.