1. A method for execution by a processing module the method comprises: receiving inputted requirements and parameters; generating application requirements based on the inputted requirements, the parameters, and verification feedback; and for one or more of the application requirements: determining whether the generating of the one or more application requirements is consistent with valid system states and correctness criteria to produce one or more verification results; and comparing the one or more verification results with one or more verification thresholds to produce the verification feedback.