Częścią procesu kompilacji, w której kod jest sprawdzany pod kątem zgodności określonych zasad zdefiniowane umożliwiają dowód określone wymogi bezpieczeństwa. Common language runtime sprawdzić języka Microsoft intermediate language (MSIL).