中文拼音： he2 zheng4 mo2 xing2

中文繁体： 核證模型

英文翻译： verification model