Runtime Verification

Сетевые системные вызовы (bind, connect, accept, listen, socket, sendto, recvfrom) с ограничением, что процесс отправляет данные по сокету сам себе (3 месяца)
    [ } Договориться о том какие сокеты с какими опциями мы добавляем (3 дня, идем от модели, скорее всего датаграммы (они должны быть проще для модели))
    ( ) Доработка модели (2 месяца)
    [ ] Мониторинг (3 недели)
    [ ] Медиатор (неделя)
    { } Тесты (2 месяца)
    { } Интеграция всего и прогон тестов (месяц)