Část procesu kompilace, v němž je kontrolována kód pro shodu na konkrétní soubor pravidel definovaných povolit důkaz o některých bezpečnostních požadavků. Společný jazykový modul runtime může ověřit Microsoft zprostředkující jazyk (MSIL).