"Chybu je v podstatě nemožné odhalit testováním a ruční kontrolou kódu. Zjistil to automatický checker synchronizačních algoritmů."
670