forum.opennet.ru

Составление сообщения

Исходное сообщение

"Микроядро seL4 математически верифицировано для архитектуры ..."
Отправлено erthink, 11-Июн-20 14:03

>>даже натянуть на Linux
>Там даже систему виртуальной памяти пофиксить не могут, слишком сложный продукт стал, о какой верификации речь может идти? В лучшем случае миникс верифицируют.
Хм, а где в слове "натянуть" есть упоминание верификации ?

Исходное сообщение
"Микроядро seL4 математически верифицировано для архитектуры ..." Отправлено erthink, 11-Июн-20 14:03
>>даже натянуть на Linux >Там даже систему виртуальной памяти пофиксить не могут, слишком сложный продукт стал, о какой верификации речь может идти? В лучшем случае миникс верифицируют. Хм, а где в слове "натянуть" есть упоминание верификации ?

Ваше сообщение

Имя*:

EMail:

Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email).
Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.

Заголовок*:

Сообщение*:

При общении не допускается: неуважительное отношение к собеседнику, хамство, унизительное обращение, ненормативная лексика, переход на личности, агрессивное поведение, обесценивание собеседника, провоцирование флейма голословными и заведомо ложными заявлениями. Не отвечайте на сообщения, явно нарушающие правила - удаляются не только сами нарушения, но и все ответы на них. Лог модерирования.

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру