Runtime Verification

{.} Тесты с цепочкой последовательных системных вызовов (~1-2 месяца)
    { } Добавить несколько тестов для файловой системы (2 дня)
    [.} Придумать как отобразить результаты существующих системные вызовов в трассу и модель (неделя)
    { } Расширить тесты (месяц)
    { } Довести медиатор и воспроизведение на новых тестах (месяц)