Смотреть запись
Тип доклада: Доклад
Применение TLA+ для эффективного тестирования распределенных систем
Никита Синяченко
Компания: ВКонтакте
Евгений Чернацкий
Компания: ВКонтакте
Начало основного контента
Евгений Чернацкий
Компания: ВКонтакте
Окончил в 2023 году бакалавриат КТ ИТМО. В качестве дипломной работы использовал язык спецификации TLA+ для верификации и тестирования алгоритма консенсуса, используемого во ВКонтакте. На данный момент продолжает развивать тему дипломной работы уже как сотрудник ВКонтакте.