KSG: A Symbolic Semantics Graph Generation Method of Smart Contract Based on the K Framework
Year: 2026
Type: article
Source: Big Data
Authors: Jie Li, Yucheng Zhao, Xiaoyu Yang, Yi Ding, Yidan Zou, Jun Jin
Institutions: Beijing Wuzi University, Beihang University
Language: English
Subfield: Information Systems
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W7154755630