# US10331415B2

**Formal specification generation using examples**

- Year: 2019
- Kind: granted
- Family: [Other graphical / visual programming](https://lattice-gazette.pages.dev/families/visual.md)
- Tags: visual, formal
- Google Patents: https://patents.google.com/patent/US10331415B2

Formal specifications generated from examples — a hinge between visual programming and formal methods.

## Citation

`US10331415B2, "Formal specification generation using examples," Other graphical / visual programming, 2019. Indexed at Lattice Gazette.`

## Advertisement

**Pebble Runtime** — Run the picture. Pebble executes dataflow diagrams on CPU and coprocessor without a rewrite into a second language. [Run a graph](/inventory#ad-pebble-runtime)