IT webinar
Как быть уверенным, что мой алгоритм работает правильно? Формальные спецификации на примере TLA+
На вебинаре поговорим о формальных спецификациях и покажем, как их можно использовать на примере языка TLA+
- разберём, зачем нужен такой инструмент
- исследуем области применения
- узнаем основные концепции TLA+ на примере простой модели
- покажем возможный процесс разработки более сложной модели
- затронем некоторые типовые проблемы, которые могут встретиться
Тема будет полезна разработчикам и архитекторам.
Спикер – Сергей Хорошавин, Lead Software Engineer of DSR Corporation.
Закончил физический факультет ВГУ. Более 17 лет в IT. Любит сложные задачи, связанные с математикой и высокой производительностью. Сторонник Open Source.
Регистрация