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