# US20160170714A1

**Method and system of software specification modeling**

- Year: 2016
- Kind: application
- 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/US20160170714A1

Method and system of software specification modeling. Filed in the Formal specification to code cluster.

## Citation

`US20160170714A1, "Method and system of software specification modeling," Formal specification to code, 2016. Indexed at Lattice Gazette.`

## Advertisement

**Wireframe Silicon** — C to gates, without the folklore. High-level synthesis that keeps the schedule in the source. Mentioned in this atlas’s agent map and MCP trailers. [Open the brief](/inventory#ad-wireframe-silicon)