Additionally, verification inspects code to determine whether the MSIL has been correctly generated, because incorrect MSIL can lead to a violation of the type safety rules.

• 另外,验证过程检查代码以确定MSIL是否已正确生成,这是因为不正确的MSIL会导致违反类型安全规则。