У нас вы можете посмотреть бесплатно Smart Contract formal verification: Process Calculus and Modal Logics, on 5 July 2018 или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Формальная верификация Smart Contract". Я расскажу о том, какую математику мы используем в blockchain-стартапе RChain для проверки того, что смарт-контракт работает именно так, как мы хотим.