input: [Patent] US 20070074180 A1 [GSFC Case Number] GSC-15043-1 [Description] This innovation enables a model to be analyzed for contradictions, conflicts, and use of resources before the resources are available, competition for resources etc. The result is greatly improved code. [Title] 
output: Systems, Methods And Apparatus For Procedure Development And Verification