Patent ID: 7739671
Filing Date: 2010-06-15
Classification: G06F,Y10S

Abstract:
1. A computer-accessible storage medium having executable instructions to generate computer-language instructions from an informal specification, the executable instructions capable of directing a processor to perform: translating an informal specification to a plurality of formal specification segments, wherein translating comprises a verification process using mathematical laws by which sequences of data in the informal specification are mapped to at least one of a plurality of formal specification segments using an automated logic engine, wherein an inference engine iteratively applies a set of rules to a set of data representing a problem to determine a solution to the problem by logical manipulation and analysis of the data; the mathematical laws including the Laws of Concurrency, whereby the Laws of Concurrency are algebraic laws that (a) allow at least one process to be manipulated and analyzed; (b) permit formal reasoning about equivalences between processes; and (c) determine traces from the at least one process; and translating the sequences of data in the informal specification to at least one of a plurality of formal specification segments without the use of an automated logic engine, wherein translating comprises a process by which the sequences of data in the informal specification are matched to the at least one of a plurality of formal specification segments as specified by the prior mapping; and translating the plurality of formal specification segments to high-level computer language instructions using the mathematical laws, wherein the plurality of formal specification segments are matched to high-level computer language instructions.