Думаю, что этот раздел можно закрывать

Автор: 31415926
Дата: 28.02.21

:

прикладного значения заинтересовавшие Вас почему-то вопросы не имеют. Как впрочем и деятельность по доказательству корректности программ )))

Здравствуйте, Эйнсток Файр, Вы писали:

Pzz>> вообще, что-нибудь знаешь про доказательство корректности программ?

ЭФ>Расскажите, пожалуйста.

Почитай классику: https://proklondike.net/books/thalg/deikstra_discipline_programming_full.html

Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>

прикладного значения заинтересовавшие Вас почему-то вопросы не имеют. Как впрочем и деятельность по доказательству корректности программ )))

А ты, вообще, что-нибудь знаешь про доказательство корректности программ? Или тебе просто слово нравится?

Pzz> вообще, что-нибудь знаешь про доказательство корректности программ?

Расскажите, пожалуйста.

Я только про ядро L4 слышал:
https://dl.acm.org/doi/10.1145/1629575.1629596