Исходное сообщение
"Проблемы из-за подготовленных AI-инструментами отчётов об уя..." Отправлено Витюшка, 06-Янв-24 02:36
Добавляю. Написана верификация на языке Isabelle/HOL. https://github.com/seL4/l4v Files 2436 Lines 1336767 Blanks 114572 Comments 36636 Lines of Code 1185559 Те 1.2 млн сгенерированного кода доказательств. Кода доказательств (руками людьми) там 15000 на 8700 строк кода С. Те на каждую строчку кода 2 строчки кода формальной верификации. Трудозатраты - 20 человеко-лет на верификацию (суммарно, включая автоматизацию доказательств, фреймворки, библиотеки и т.п.), 11 человеко-лет чисто на доказательство. Итого, 5 строчек кода в день на С (полный рабочий день) можно верифицировать. Или в 50-100 раз меньше (медленнее) чем пишет программист кода на С. Срочно всем верифицировать!

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