-
程序验证可以对源代码进行，也可以对汇编代码进行。
Program verification can be done both on source code and assembly code.
youdao
-
基于软件OBS核心控制程序验证了实验平台的有效性；
The platform is further verified with the OBS core node control software.
youdao
-
基于软件OBS核心控制程序验证了实验平台的有效性；
The platform is further verified with the OBS core node control software.
youdao