Исправление tailgunner, (текущая версия) :
Толку от доказательства корректности нету никакого, можно было бы так сильно не пыжиться.
По слухам, seL4 работает на миллиардах устройств и ни разу не взломана, так что какой-то толк есть. Но даже если это не так... тебе знакомо слово «исследования»?
Исходная версия tailgunner, :
Толку от доказательства корректности нету никакого, можно было бы так сильно не пыжиться.
По слухам, seL4 работает на миллиардах устройств и ни разу не взломана, так что какой-то толк есть. Но даже если бы его не было... тебе знакомо слово «исследования»?