Ein Teil des Kompilierungsprozesses in dem Code auf Übereinstimmung mit einem bestimmten Satz von Regeln definiert, um Beweis für bestimmte Sicherheitsanforderungen überprüft wird. Die common Language Runtime kann Microsoft intermediate Language (MSIL) überprüfen.