Исходное сообщение
"Результаты второго аудита безопасности разработок проекта To..." Отправлено Аноним, 30-Янв-24 22:17
Так есть же уже - формальная верификация и все дела. Но на них настолько дорого "писать", что дешевле каждый год аудиты заказывать. И так лет на 100 хватит. PS. Почитайте на досуге, сколько лет и денег ушло на формальную верификацию ядра seL4, с его жалкими "8,700 lines of C code and 600 lines of assembler". Статья "seL4: Formal Verification of an OS Kernel" в открытом доступе на сайте Columbia University.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
	Введите код, изображенный на картинке: