Исходное сообщение
"Проблемы из-за подготовленных AI-инструментами отчётов об уя..." Отправлено Витюшка, 06-Янв-24 22:09
Это хороший вопрос. Они верифицировали и саму корректность соответствия программы С кодом и их формальной моделью, и ещё что-то там с компилятором. Те, в целом да. Понятия не имею как. Я посмотрел код - это такая жесть. Как там что-то можно понять и верифицировать и не наделать багов? Хуже ассемблера. У них есть кое какие предложения. Скорее всего что сам Isabelle работает корректно. Но я думаю он сам был проверен раньше. И что железо тоже работает корректно (не знаю что это значит).

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, [email protected] (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> Это хороший вопрос. Они верифицировали и саму корректность соответствия программы С кодом > и их формальной моделью, и ещё что-то там с компилятором. > Те, в целом да. Понятия не имею как. Я посмотрел код - > это такая жесть. Как там что-то можно понять и верифицировать и > не наделать багов? Хуже ассемблера. > У них есть кое какие предложения. Скорее всего что сам Isabelle работает > корректно. Но я думаю он сам был проверен раньше. > И что железо тоже работает корректно (не знаю что это значит).
	Введите код, изображенный на картинке: