Una parte del processo di compilazione in cui codice viene verificata la conformità a un insieme specifico di regole definite per consentire la prova di determinati requisiti di sicurezza. Common language runtime può verificare Microsoft intermediate language (MSIL).