Managed execution - управлявано изпълнение е името давано за процеса на създаване на апликации под .NET Framework. Стъпките са следните:

1. Напишете код използващ един или повече .NET компилатори. Забележете, че софтуерни компоненти, които могат да се използват от компоненти написани на други езици трябва да бъдат написани само с език, част от Common Language Specification (CLS).

2. Компилирайте кода. Компилаторът транслира сорс кода в Microsoft Intermediate Language (MSIL) и генерира необходимите метаданни за апликацията.

3. Стартирайте кода (Run). Когато кодът се изпълни, MSIL се компилира в естествен код (native code) от Just In Time (JIT) компилатора. Изисква се, JIT да провери кода за съхранение на типовете (type safety). Ако проверката type-safety не успее, се вмъква изключение.

Кодът, който може да намери невалидни адреси в паметта или други илегални операции , които могат да предизвикат повреждане на апликацията се нарича type-safe code. Провереният от JIT, и установен за type-safe код се нарича verifiably type-safe code. В зависимост от лимита за верификация, кодът може да е type-safe, но не verifiably type-safe.