Здравствуйте, samius, Вы писали:

PD>>Что из первых двух выбираешь ?
S>Но это ведь не взаимоисключающие вещи.

Хорошо, давай свой гибрид.

S>А разве статическая верификация программы на нативном языке как-то ограничивает мощь процессора?

Нет, конечно, но я не уверен, что она гарантирует то, что требуется.

S>Вот чисто что бы ради поржать, предлагаю специальный режим многозадачности: программы с недоказанной корректностью обращений к памяти не могут выполняться одновременно с программами, которым нужна гарантия недоступности их памяти.

И на каждую программу ставится клеймо, а в ОС вводим 2 режима и переключаемся между ними для того, чтобы запустить какую-то программу, которая текущему режиму не соответствует