automatic program verification system

automatic program verification system 基本解释

[计] 自动程序验证系统

重点词汇

automatic adj. 自动的；不假思索的，无意识的；必然发生的 n. 自动化机器或设备；自动手枪

program n. 程序；节目，节目单；计划，安排 v. [计]给…编写程序；为…制定计划；设计安排活动；编排

verification n. 证明；证实；<哲>（指通过经验）证明（某命题正确）；核实

system n. 体系，系统；制度；身体；方法