In the theory of programming, program synthesis is deeply concerned with program verification.
在程序理论方面，程序综合与程序验证关系密切。
youdao
应用推荐
模块上移
模块下移
不移动