Gazette entry
US10331415B2
Formal specification generation using examples
Formal specifications generated from examples — a hinge between visual programming and formal methods.
- Family
- Diagrams, dataflow, and visual specs outside the two vendor stacks
- Tags
- visual · formal
How to cite
US10331415B2, “Formal specification generation using examples,” Other graphical / visual programming, 2019.
Same family
- US4796179AMultirate real-time control system code generator
- US4831580AProgram generator
- US4860204AWorkstation for development of graphic representations of computer programs
- US5151984ABlock-diagram simulator using a library for generation of a computer program
- US5758122AImmersive visual programming system
- US6272672B1Dataflow processing with events