模型校验翻译

英语翻译：

【化】 model checking

分词翻译：

模型的英语翻译：

former; matrix; model; mould; pattern
【计】 Cook-Torrance model; GT model GT; MOD; model; mosel
【医】 cast; model; mold; mould; pattern; phantom
【经】 matrices; matrix; model; pattern

校验的英语翻译：

【计】 verify