In the theory of programming, program synthesis is deeply concerned with program verification.
在程序理论方面，程序综合与程序验证关系密切。
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.
这些方法在一定程度上有助于减少或避免一些逻辑错误的出现，从而减轻了程序验证的负担。
Program verification can be done both on source code and assembly code.
程序验证可以对源代码进行，也可以对汇编代码进行。
Program verification techniques are code-oriented, but most of them are not capable of describing the property of execution time of practical programs.
而对于实际程序，大多数程序验证技术则不适合验证运行时间。
Program verification techniques are code-oriented, but most of them are not capable of describing the property of execution time of practical programs.
而对于实际程序，大多数程序验证技术则不适合验证运行时间。
应用推荐