The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Google представил проект Open Se Cura для создания защищённых программно-аппаратных систем, opennews (??), 07-Ноя-23, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


158. "Google представил проект Open Se Cura для создания защищённы..."  –1 +/
Сообщение от Аноним (160), 08-Ноя-23, 20:45 
Зачем программе на безопастном языке математическая верификация. Неужели там могут быть... баги?? Wait, oh shi~
Ответить | Правка | Наверх | Cообщить модератору

162. "Google представил проект Open Se Cura для создания защищённы..."  +/
Сообщение от Анонин (?), 08-Ноя-23, 21:21 
Ну, верификация это как бы немного большее чем гарантии по памяти, которые раст дает.
Просто полноценную ось... да даже ядро, а не микроядро как тут, фиг верифицируешь за разумное время.
Посмотрите сколько строк в seL4 и сколько человеколет его верифицировали.
Так что все правильно сделали.
Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру