«Помилку в принципі неможливо виявити за допомогою тестування та ручної перевірки коду. Його знайшла автоматична перевірка алгоритмів синхронізації".
668