"من المستحيل اكتشاف الخطأ بشكل أساسي عن طريق الاختبار وفحص الكود اليدوي. تم العثور عليه بواسطة مدقق تلقائي لخوارزميات التزامن ".
‏‎672‏