1. A method for verifying software, comprising: determining the result of a bounding function, the bounding function evaluating the execution of a received job, the received job indicating a portion of software to be verified; using the result of the bounding function to apply one or more policies to the execution of the received job; and wherein the result of the bounding function is based upon the present execution of the received job, one or more historical parameters, and an evaluation of the number of idle nodes available to process other jobs.