👓 Ботанские новости
технологии, открытия, исследования и разработки
🤖 Ironclad – формально верифицированный реального‑времени Unix‑подобный ядро ОС
Ironclad – формально верифицированный реального‑времени Unix‑подобный ядро ОС
Разработчики выпустили Ironclad – ядро Unix‑семейства, написанное на SPARK и Ada, полностью проверенное формально и совместимое с POSIX. Оно распространяется как 100% свободное ПО, подходит и для обычных, и для встраиваемых систем, обещая реальное‑временное реагирование без «багов‑привидений». Ну что, время наконец‑то перестанет лететь по‑плохому, а будет лететь точно по‑спецификации!
#IT #os #opensource