In the theory of programming, program synthesis is deeply concerned with program verification.

在程序理论方面，程序综合与程序验证关系密切。

youdao

A lot of logical errors can be reduced or avoided to a certain extent with these methods and the task of program verification is reduced.

这些方法在一定程度上有助于减少或避免一些逻辑错误的出现，从而减轻了程序验证的负担。

youdao

Program verification techniques are code-oriented, but most of them are not capable of describing the property of execution time of practical programs.

而对于实际程序，大多数程序验证技术则不适合验证运行时间。

youdao

Program verification techniques are code-oriented, but most of them are not capable of describing the property of execution time of practical programs.

而对于实际程序，大多数程序验证技术则不适合验证运行时间。

youdao