# US10409563B2

**Generating application code from a formal specification**

- Year: 2019
- 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/US10409563B2

Generating application code from a formal specification. Filed in the Formal specification to code cluster.

## Citation

`US10409563B2, "Generating application code from a formal specification," Formal specification to code, 2019. 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)