Интеллектуальная олимпиада по предмету "Операционные системы" - 2026 проводится

Предмет: Операционные системы
Уровень: XII (I — самый лёгкий, XII — самый сложный)
Категория: студент
Язык вопросов: Русский
Вопросов: 15
Пример вопроса: Что такое формальная верификация микроядра и чем она принципиально отличается от традиционного тестирования? Математическое доказательство корректности кода относительно формальной спецификации, Интенсивное нагрузочное тестирование, Ручной регрессионный анализ, Фаззинг системных вызовов