Часть процесса компиляции, в которой код проверяется на соответствие к определенному набору правил, определенных для удовлетворения определенных требований безопасности. Среда CLR может проверить промежуточного языка Microsoft (MSIL).