NASA scrie software de zbor critic pentru misiune în C. Și regulile sunt absolut NEBUNESC. > Fără recursivitate. Niciodată. > Fiecare buclă trebuie să aibă o limită superioară demonstrabilă. > Nicio alocare dinamică a memoriei după inițializare. > Max ~60 de linii pe funcție. > Minimum 2 afirmații per funcție. > Fiecare valoare returnată trebuie verificată. > Niciun avertisment de compilator permis. > Analiză statică zilnică. Niciun avertisment nici acolo. > Niciun indiciu de funcție. > Dereferire restricționată a pointerului. Așa scriu cod la NASA / JPL pentru sisteme critice pentru misiune.