Формальная верификация Smart Contract

Научный сотрудник blockchain-стартапа RChain расскажет о использовании исчислений процессов и модальных логик для проверки математическими методами соответствия кода контракта – спецификации свойства, например отсутствия deadlock.

Когда: 4 июля с 19:00 до 20:00.

Стоимость: бесплатно.

Регистрация:  отсутствует.

Мероприятие на Facebook: https://www.facebook.com/events/655692178101592/