# US7530052B2

**Creating and executing a graphical program with a first model of computation that includes a structure supporting a second**

- Year: 2009
- Kind: granted
- Family: [National Instruments / LabVIEW](https://lattice-gazette.pages.dev/families/labview.md)
- Tags: labview, diagram, moc
- Google Patents: https://patents.google.com/patent/US7530052B2

Nested models of computation: a graphical program whose structures host a second MoC.

## Citation

`US7530052B2, "Creating and executing a graphical program with a first model of computation that includes a structure supporting a second," National Instruments / LabVIEW, 2009. Indexed at Lattice Gazette.`

## Advertisement

**Forma Proof** — Prove the spec. Then compile it. Model-check the contract before the bitstream. Formal tools for teams who already write the diagram. [Read the method](/inventory#ad-forma-proof)