Intellectual Olympiad in Operating Systems - 2026 ongoing
1000 ₸
Subject: Operating Systems Level: XII (I is easiest, XII is hardest)
Category: student
Question language: Русский
Questions: 15
Example question: Что такое формальная верификация микроядра и чем она принципиально отличается от традиционного тестирования? Математическое доказательство корректности кода относительно формальной спецификации, Интенсивное нагрузочное тестирование, Ручной регрессионный анализ, Фаззинг системных вызовов