NASA píše kritický letový software v jazyku C. A pravidla jsou naprosto ŠÍLENÁ. > Žádná rekurze. Nikdy. > Každá smyčka musí mít dokazatelnou horní mez. > Po inicializaci není žádná dynamická alokace paměti. > Maximálně ~60 řádků na funkci. > Minimálně 2 tvrzení na funkci. > Každá vrácená hodnota musí být zkontrolována. > Žádná varování kompilátoru povolena. > Denní statická analýza. Ani tam žádná varování. > Žádné ukazatele funkcí. > Omezené dereferencování ukazatelů. Takto píší kód v NASA / JPL pro systémy kritické pro misi.