verifiable program可: approve验证: test and verify; checking; p ...程序: procedure验证程序: certification program; proving program; proving routine; validation procedures; validator; verifying procedure验证程序;验证器: verifier下载手机词典可随时随地查词查翻译