Формальная верификация остается актуальной.