automatic program verification system的意思|示意

美 / ˌɔ:təˈmætik ˈprəuɡræm ˌverəfɪˈkeɪʃən ˈsistəm / 英 / ˌɔtəˈmætɪk ˈproˌɡræm ˌvɛrəfɪˈkeʃən ˈsɪstəm /

[计] 自动程序验证系统