Gazette entry
US5101491A
Synthesizing, generating and checking software from a formal description
Early formal-methods compiler: synthesize, generate, and check software from a formal description.
- Family
- Formal descriptions → verified software and circuits
- Tags
- formal-spec · formal · verify
How to cite
US5101491A, “Synthesizing, generating and checking software from a formal description,” Formal specification to code, 1992.
Same family
- US7278130B2Automatic software production system
- US7334216B2Automatic generation of information-system user interfaces
- US7555742B2Automatic software production system
- US7584451B2Automatic software production system
- US7739671B1Implementation of formal specifications derived from informal requirements
- US7941438B2Automatic generation of information-system user interfaces