En del av kompileringsprocessen där koden kontrolleras för anpassningen till en särskild uppsättning regler som definierats för att tillåta bevis på vissa säkerhetskrav. Common language runtime kan verifiera Microsoft intermediate language (MSIL).