RefactorProof сгенерировал 458 верифицированных вариантов

Исследование показало, что 458 верифицированных доказательств из 185 задач VERINA теряют валидность при структурном рефакторинге. Специализированные проверщики сохраняют доказательства чаще, чем референсные артефакты.

Читать оригинал →