Против формальной верификации: 50 лет спустя

Введение: Полвека надежд и разочарований Когда очередной критический баг роняет продакшен в пятницу вечером (обычно прямо перед выходом на выходные), разработчики невольно задумываются: а не пора ли …