Исходное сообщение
"Микроядро seL4 математически верифицировано для архитектуры ..." Отправлено Михрютка, 10-Июн-20 22:54
>>>Кому нужно уже показали мне это всегда нравилось. "у нас есть такие приборы но мы вам их не покажем". >>>- В разработку вложено очень много (>15 лет) извиняюсь, os/360 меньше времени строили. она за эти 15 лет реальное практическое применение хоть где-то нашла? или только "где надо, там и нашла"? если нет, то это n-ый вариант hurd.