input: [Patent] US 7,739,671 [GSFC Case Number] GSC-14941-1 [Description] This approach describes systems, methods and apparatus to transform informal system requirements into a provably equivalent formal model. Input can be natural language, graphical notations, programming languages or others. These inputs describe the software's actions in response to incoming data and the internal goals of the software. A scenario can describe one or more potential executions of a system, describing what happens in a particular situation and what range of behaviors is expected from or omitted by the system under various conditions. [Title] 
output: Systems, Methods & Apparatus For Implementation Of Formal Specifications Derived From Informal Requirements