Верификация через дублирование логики

Опубликовал на Хабре вторую статью из размышлений о способах верификации ПО: Дублирование логики — единственный способ верификации ПО.