Ядро seL4 – раскрытие кода
|
|
Среда, 25 Июня 2014 г. 08:57
+ в цитатник
Вот здесь, используя один из новых доменов верхнего уровня (.systems), объявляют о том, что раскроют исходные коды (и сопутствующую информацию см. ниже) микроядра seL4. Главная особенность данного ядра ОС в том, что его реализация прошла через процедуру формального доказательства её соответствия спецификации. То есть, доказано, что в реализации отсутствуют некоторые классы типичных ошибок и [&]
http://dxdt.ru/2014/06/25/6852/
Метки:
Безопасность
Компьютеры и ПО
Ссылки
-
Запись понравилась
-
0
Процитировали
-
0
Сохранили
-