program verifier

例句：

1. 1. The program verifier ensures that all the code is correctly written and follows the coding standards.
   程序验证器确保所有代码都正确编写并且遵循编码标准。
2. 2. The software developer used a program verifier to check for errors in the code.
   软件开发者使用程序验证器来检查代码中的错误。
3. 3. The company's quality assurance department uses a program verifier to ensure the software meetsindustry standards.
   公司的质量保证部门使用程序验证器来确保软件符合行业标准。