Automated Method for Verifying the Correctness of the Execution of Smart Contracts in the Blockchain Network
Year: 2025
Type: article
Abstract: АВТОМАТИЗОВАНИЙ МЕТОД
Authors: Андрій Олександрович Гашко, Андрій Петрович Бондарчук, Максим Петрович Трембовецький, Олександр Ілліч Чумак
Language: English
Subfield: Information Systems
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W4409270205