Модели автоматической проверки алгоритмов и формальные спецификации на примере TLA+
3 августа 2020
DSR Corporation предлагает видеозапись вебинара, посвященного проверке алгоритмов и использованию формальных спецификаций на примере языка TLA+. Докладчик – Сергей Хорошавин, Lead Software Engineer нашей компании. Он более 17 лет работает в ИТ и любит решать сложные математические задачи, связанные с высокой производительностью. Последовательный сторонник подхода open-source.
Сергей рассказывает об области применения формальных спецификаций и решаемых с их помощью задачах. Вместе разберемся с ключевыми концепциями TLA+, а затем рассмотрим возможный процесс разработки сложной модели. Поговорим о ряде типичных проблем и способах их решения.
Доклад будет полезен:
- Начинающим разработчикам.
- Опытным программистам, желающим повысить эффективность разработки ПО.
- Архитекторам программного обеспечения.
Подписывайтесь на нашу группу в ВК, чтобы быть в курсе расписания вебинаров и других новостей DSR Corporation. Записи всех мероприятий компании доступны на YouTube-канале.