program verifier的意思|示意

---

program verifier相关短语

1、 automated program verifier 自动程序检验程序,自动化程序验证器,自动程序检验机