Ένα μέρος της διαδικασίας συλλογή στην οποία κώδικα ελέγχεται για την συμμόρφωση προς ένα συγκεκριμένο σύνολο κανόνων που ορίζονται για να επιτρέψει την απόδειξη ορισμένων απαιτήσεων ασφαλείας. Ο χρόνος εκτέλεσης κοινής γλώσσας μπορεί να επαληθεύσει την Microsoft ενδιάμεση γλώσσα (MSIL).