Проблема надежности программного обеспечения кажется вечной: она возникла полвека назад и продолжает оставаться актуальной. Но, похоже, Джордж Кэндиа (George Candea), исследователь из Стэнфордского университета, нашел панацею от зловещих «софтверных багов».