"Bug-ul este practic imposibil de descoperit prin testare și inspecție manuală a codului. A fost găsit de un verificator automat al algoritmilor de sincronizare."
683