LINUX.ORG.RU

Сообщения watchcat382

 

Gloire — ОС с ядром Ironclad, написанном на языке Ada

Gloire — ОС с ядром Ironclad, написанном  на языке Ada
Группа Open Source

Недавно на Github появился репозиторий операционной системы Gloire. Gloire использует ядро Ironclad, написанное на языке программирования Ada, и пользовательское окружение GNU. На сайте, посвященном Ironclad, написано что оно находится в процессе «формальной верификации».

( читать дальше... )

>>> Подробности

 , gloire, ironclad,

watchcat382
()

RSS подписка на новые темы