Smart contract verification methods
Автор: Perepechin A.A.
Журнал: Экономика и социум @ekonomika-socium
Рубрика: Основной раздел
Статья в выпуске: 5-2 (72), 2020 года.
Бесплатный доступ
Аnnotation: The article discusses various verification methods that apply to smart contracts. Their shortcomings are described and, as an alternative, a method of automatic verification is proposed by checking the reachability or not reachability of system states.
Smt-решатель, smart contract, blockchain, verification, statistical analyzers, smt-solver
Короткий адрес: https://sciup.org/140252358
IDR: 140252358
Статья научная
