T minus 31 sekund

Věřili byste, že existuje software, v jehož 420 000 řádcích kódu byly v posledních třech verzích nalezeny jen tři chyby? Řeč je o řídícím systému amerických raketoplánů, jednom z nejspolehlivějších softwarových produktů na světě. A proč o něm píšu? Protože jsem na Fast Company narazil na moc zajímavý článek o tom, jak takový software vzniká a jak je tato spolehlivost zajišťována.