驗證條件生成程式英文翻譯

拼音:yàn zhèng tiáo jiàn shēng chéng chéng xù

英文翻譯

【計】 verification condition generator