Is a
Patent attributes
Current Assignee
Patent Jurisdiction
Patent Number
Patent Inventor Names
Thomas J. Weigert0
Date of Patent
March 3, 2015
Patent Application Number
13222515
Date Filed
August 31, 2011
Patent Citations Received
Patent Primary Examiner
Patent abstract
A method for execution by a processing module begins by receiving inputted requirements and parameters. The method continues by generating application requirements based on the inputted requirements, the parameters, and verification feedback. For one or more application requirements, the method continues by 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. For the one or more application requirements, the method continues by comparing the one or more verification results with one or more verification thresholds to produce the verification feedback.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
