NASA, C dilinde görev kritik uçuş yazılımı yazıyor. Ve kurallar kesinlikle DELI. > Tekrarlama yok. Asla. > Her döngünün kanıtlanabilir bir üst sınırı olmalıdır. > Başlatmadan sonra dinamik bellek tahsisi yoktur. > Fonksiyon başına maksimum ~60 satır. > Her fonksiyon için en az 2 iddia. > Her iade değeri kontrol edilmeli. > Derleyici uyarısı sıfır izin veriliyor. > Günlük statik analiz. Orada da hiç uyarı yok. > Fonksiyon göstergesi yok. > Kısıtlı işaretçi referans dışı bırakma. NASA / JPL'de görev açısından kritik sistemler için kod böyle yazılır.