プログラムののけんしょうプログラムの検証交互式程序验证器: かいわがたプログラムけんしょうそうち用户保密验证程序: ユーザきみつほごけんしょうルーチンユーザ機密保護検証ルーチン自动定理验证程序: じどうていりしょうめいプログラム验证: 検証する. 验证现场/現場を検証する.验证机: せんようかいけいきプルーフマシン下载手机日语词典可随时随地查词查翻译