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

Приглашаем на конференцию Saint HighLoad++ 2025, которая пройдет 23 и 24 июня в Санкт-Петербурге!
Программа, подробности и билеты по ссылке: highload.ru/sp...
________
Профессиональная конференция разработчиков высоконагруженных систем
20 и 21 сентября 2021. Санкт-Петербург, DESIGN DISTRICT DAA in SPB
Тезисы и презентация:
www.highload.r...
Разрабатывать конкурентные системы сложно. Самые плохие ошибки закрадываются в алгоритм еще на стадии проектирования, не находятся никакими тестами и ждут реальной нагрузки и своей уникальной последовательности событий, чтобы взорваться и всё испортить.
...
Нашли ошибку в видео? Пишите нам на [e-mail]

[@ВладимирГ-о6ч]

Спасибо Алексею. Изучаю TLA+ по Вейну и Лампорту, это выступление оказалось очень полезно для прояснения некоторых аспектов, особенно как делать Crash в TLA+ и как сделать таймауты. Еще раз спасибо.