| |
Автоматизований метод перевірки правильності виконання смарт-контрактів в блокчейн мережі [Текст] / А. О. Гашко, А. П. Бондарчук, М. П. Трембовецький, О. І. Чумак
// Телекомунікаційні та інформаційні технології. – 2025. – № 1. – С. 13-20. – DOI: 10.31673/2412-4338.2025.014506.
Розглядається розроблена методика автоматизованої перевірки смарт-контрактів, яка дозволяє виявляти вразливості, такі як відсутність перевірки прав засновника, помилки в арифметичних операціях та відсутність підписів чеків транзакцій. |
