Een deel van het compilatieproces waarin code is gecontroleerd voor conformiteit aan een specifieke set van regels die zijn gedefinieerd zodat bewijs van bepaalde beveiligingsvereisten. De common language runtime kunt controleren of Microsoft intermediate language (MSIL).