Доклад
- Когда и где
-
14 ноября 2022 г. 15:00, понедельник
online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve
- Докладчики
-
-
Название
-
Реализация алгоритма Chord в виде акторной системы и формальная верификация этой реализации
-
Аннотация
-
В докладе будут представлены:
1. Краткий обзор имеющихся решений в области реализации и верификации Chord.
2. Описание алгоритма, базовых принципов и понятий, касающихся акторных систем и способов формальной верификации.
3. Языки (Scala, Rust, TLA+), библиотеки и фреймворки, использованные для достижения цели.
4. Конечный результат и возможные пути дальнейшего развития.
-
Презентация
-
-
Ссылка на видео
-
-
Видео
-
Вернуться к списку новостей