Метод автоматизованої верифікації програмного коду смарт-контрактів
Вантажиться...
Дата
2021-12
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Опис
Ключові слова
децентралізовані системи, decentralized systems, блокчейн, blockchain, solidity, смарт-контракт, smart contract, верифікація, verification, sliher, slithIR
Бібліографічний опис
Корунська, А. М. Метод автоматизованої верифікації програмного коду смарт-контрактів : магістерська дис. : 121 Інженерія програмного забезпечення / Корунська Анна Михайлівна. – Київ, 2021. – 134 с.