Latest News

Микроядро seL4, Ada/SPARK и 185 модулей: разбор проекта

185 модулей ядра, not‑proved: 0. Сеть и хранилище в Ring 3, TCP работает на железе. Разбор проекта Schild TCB: формальная верификация…