# US7739671B1

**Implementation of formal specifications derived from informal requirements**

- Year: 2010
- Kind: granted
- Family: [Formal specification to code](https://lattice-gazette.pages.dev/families/formal-spec.md)
- Tags: formal-spec, formal
- Google Patents: https://patents.google.com/patent/US7739671B1

Implementation of formal specifications derived from informal requirements. Filed in the Formal specification to code cluster.

## Citation

`US7739671B1, "Implementation of formal specifications derived from informal requirements," Formal specification to code, 2010. Indexed at Lattice Gazette.`

## Advertisement

**Pebble Runtime** — Run the picture. Pebble executes dataflow diagrams on CPU and coprocessor without a rewrite into a second language. [Run a graph](/inventory#ad-pebble-runtime)