可验证

• Safe mode : run verifiably typesafe code ; compiled with clr : safe
  安全模式：运行可验证类型安全的代码；使用/ clr : safe编译。
• Unlike function pointers , delegates are secure , verifiable , and type safe
  与函数指针不同，委托是安全、可验证和类型安全的。
• Verifiably type safe
  可验证类型安全
• Windows forms mixed assemblies pure verifiable assemblies reflection more
  Windows窗体混合程序集纯程序集/可验证程序集反射更多信息
• The precision and determinism properties of the function can be verified by sql server
  Sql server可验证函数的精度和确定性属性。
• Produces an msil - only no native executable code and verifiable output file
  生成仅包含msil （无本机可执行代码）且可验证的输出文件。
• Any operation that attempts to reference a null reference in verifiable code throws
  试图在可验证代码中引用空引用的任何操作都将引发
• Verifiable assemblies offer these advantages over pure and mixed assemblies
  与纯程序集和混合程序集相比，可验证程序集具有下列优点：
• Lists the issues that will generate verifiability errors when compiling with clr : safe
  列出用/ clr : safe进行编译时将生成可验证性错误的问题。
• Clrimagetype lets you specify a lower level of verifiability , if that is what you need
  / clrimagetype允许您根据需要指定较低级别的可验证性。