# WO2012016078A1

**Developing programs in a graphical specification and constraint language**

- Year: 2012
- Kind: application
- Family: [National Instruments / LabVIEW](https://lattice-gazette.pages.dev/families/labview.md)
- Tags: labview, formal
- Google Patents: https://patents.google.com/patent/WO2012016078A1

Developing programs in a graphical specification and constraint language. Filed in the National Instruments / LabVIEW cluster.

## Citation

`WO2012016078A1, "Developing programs in a graphical specification and constraint language," National Instruments / LabVIEW, 2012. 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)