Микроядро seL4, Ada/SPARK и 185 модулей: разбор проекта #habr
https://habr.com/ru/articles/1095314/
Tags: seL4, Ada, SPARK, формальная верификация, микроядро, TCB, x86_64, отладка
Author: Nik0laich
Post #326328
53
- Oct 16, 2026Где AI-настройка обмена с 1С работает, а где нет: честный разбор #habr https://habr.com/ru…
- Oct 16, 2026Директор по ИТ ГК ФСК Владимир Крыльцов рассказал об ИИ-платформе «Камертон» на GoCloudTec…
- Oct 16, 2026Один код на два фронта: как мы развиваем мобильные приложения Okdesk #habr https://habr.co…
- Oct 16, 2026Странные олдскульные технологии, которые так и не взлетели, часть 4 #habr https://habr.com…
- Oct 16, 2026Чем хорош роутер-миньон: сравниваю с Cudy за $50 и терминалом от провайдера #habr https://…
- Oct 16, 2026Как убрать пароли из XML-конфигов Hadoop: Credential Provider API и JCEKS на практике #hab…