Методы верификации смарт-контрактов
Автор: Перепечин А.А.
Журнал: Экономика и социум @ekonomika-socium
Рубрика: Основной раздел
Статья в выпуске: 5-2 (72), 2020 года.
Бесплатный доступ
В статье рассматриваются различные методы верификации, которые применяются к смарт-контрактам. Описаны их недостатки и в качестве альтернативы предложен метод автоматической верификации путем проверки достижимости или не достижимости состояний системы.
Смарт-контракт, блокчейн, верификация, статистические анализаторы, smt-решатель
Короткий адрес: https://sciup.org/140252358
IDR: 140252358
Список литературы Методы верификации смарт-контрактов
- Э. Кларк, О. Грамберг, Д. Пелед. Верификация моделей программ: Model Checking. М.: МЦНМО, 2002
- Вельдер С. Э., Лукин М. А., Шалыто А. А., Яминов Б. Р. Верификация автоматных программ. СПбГУ ИТМО, 2011.
- А. С. Камкин. Введение в формальные методы верификации программ: учебное пособие - Москва: МАКС Пресс, 2018.
Статья научная
