О чём рассказывается в презентации:
Презентация посвящена формальной верификации операционных систем, которая обеспечивает математическую основу для повышения кибербезопасности. Рассматриваются методы доказательства корректности кода, такие как интерактивное доказательство теорем и проверка моделей, а также эволюция микроядер, как seL4, которые устанавливают новые стандарты для защищенных вычислительных систем. Верификация становится необходимым условием для критической инфраструктуры, минимизируя уязвимости и обеспечивая надежность.
