Gazette entry
CN112306470B
Simplified transformation and automatic verification of complex synchronous-language programs
Simplified transformation and automatic verification of complex synchronous-language programs. Filed in the Formal specification to code cluster.
- Family
- Formal descriptions → verified software and circuits
- Tags
- formal-spec · verify
How to cite
CN112306470B, “Simplified transformation and automatic verification of complex synchronous-language programs,” Formal specification to code, 2021.
Same family
- US5101491ASynthesizing, generating and checking software from a formal description
- 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