Исходное сообщение
"Выпуск Muen 1.0, открытого микроядра для создания высоконадё..." Отправлено Аноним, 26-Окт-21 12:46
> см сообщения #43 - для SeL4, который на C тоже делали "Математическую > верификацию". И по-моему там тоже использовалось подмножество языка C, Писали на самом деле на хаскеле, лишь после верификации корректности логики работы транслируя в сишку. И обошлась та верификация где-то в 20 человеко-лет на 9000 строк кода. А так да, все с Великой Сишкой хорошо и все придумки нового - от лукавого!

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>> см сообщения #43 - для SeL4, который на C тоже делали "Математическую >> верификацию". И по-моему там тоже использовалось подмножество языка C, > Писали на самом деле на хаскеле, лишь после верификации корректности логики работы > транслируя в сишку. И обошлась та верификация где-то в 20 человеко-лет > на 9000 строк кода. А так да, все с Великой Сишкой > хорошо и все придумки нового - от лукавого!
	Введите код, изображенный на картинке: