TY  - RPRT
TI  - EventSpec: Defining and Detecting Event-Semantic Issues in Blockchain Ecosystems
AU  - Yixuan Liu
AU  - Yuxin Dong
AU  - Ye Liu
AU  - Yin Wu
AU  - Chengxuan Zhang
AU  - Xiapu Luo
AU  - Yi Li
PY  - 2026
UR  - https://arxiv.org/abs/2609.07865
ID  - 2609.07865
ER  -