Intellectual Olympiad in Operating Systems - 2026 ongoing

Subject: Operating Systems
Level: XII
Category: student
Quiz questions: in Russian
Example question: Что такое формальная верификация микроядра и чем она принципиально отличается от традиционного тестирования? Математическое доказательство корректности кода относительно формальной спецификации, Интенсивное нагрузочное тестирование, Ручной регрессионный анализ, Фаззинг системных вызовов