# US5101491A

**Synthesizing, generating and checking software from a formal description**

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

Early formal-methods compiler: synthesize, generate, and check software from a formal description.

## Citation

`US5101491A, "Synthesizing, generating and checking software from a formal description," Formal specification to code, 1992. Indexed at Lattice Gazette.`