Моде­ли ав­то­мати­чес­кой про­вер­ки ал­го­рит­мов и фор­маль­ные спе­цифи­кации на при­мере TLA+

3 августа 2020

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


Сергей рассказывает об области применения формальных спецификаций и решаемых с их помощью задачах. Вместе разберемся с ключевыми концепциями TLA+, а затем рассмотрим возможный процесс разработки сложной модели. Поговорим о ряде типичных проблем и способах их решения.

Доклад будет полезен:

  • Начинающим разработчикам.
  • Опытным программистам, желающим повысить эффективность разработки ПО.
  • Архитекторам программного обеспечения.

Подписывайтесь на нашу группу в ВК, чтобы быть в курсе расписания вебинаров и других новостей DSR Corporation. Записи всех мероприятий компании доступны на YouTube-канале.