1. A method for execution by a computing entity the method comprises: receiving inputted requirements and parameters; generating, by a computing entity that includes a processing module, memory, and a network connection, application requirements based on the inputted requirements, the parameters, and verification feedback, wherein the application requirements including a plurality of application system state transitions, wherein generating one or more of the plurality of application system state transitions (ASST) includes: entering, by the computing entity, a loop that includes: generating the one or more of the plurality of ASST based on one or more of the inputted requirements, the parameters and a previously generated one or more of the plurality of ASST; receiving the verification feedback regarding the one or more of the plurality of ASST; determining whether the one or more of the plurality of ASST are at a desired level of completeness based on the verification feedback regarding the one or more of the plurality of ASST; when the one or more of the plurality of ASST are not at the desired level of completeness, repeating the loop based on the verification feedback regarding the one or more of the plurality of ASST; and when the one or more of the plurality of ASST are at the desired level of completeness, exiting the loop; for one or more of the application requirements: determining, by the computing entity, 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, by the computing entity, the one or more verification results with one or more verification thresholds to produce the verification feedback.