A part of the compilation process in which code is checked for conformance to a specific set of rules defined to allow proof of certain security requirements. The common language runtime can verify Microsoft intermediate language (MSIL).