TLA+/TLC: формальный метод верификации конкурентных алгоритмов для инженеров / Алексей Найденов

Приглашаем на конференцию HighLoad 2024, которая пройдет 2 и 3 декабря в Москве! Программа, подробности и билеты по ссылке: -------- Профессиональная конференция разработчиков высоконагруженных систем 20 и 21 сентября 2021. Санкт-Петербург, DESIGN DISTRICT DAA in SPB Тезисы и презентация: Разрабатывать конкурентные системы сложно. Самые плохие ошибки закрадываются в алгоритм еще на стадии проектирования, не находятся никакими тестами и ждут реальной нагрузки и своей уникальной последовательности событий, чтобы взорваться и всё испортить. ... Нашли ошибку в видео? Пишите нам на support@