TY  - RPRT
TI  - Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
AU  - Thomas Ball
AU  - Nikolaj S. Bjørner
AU  - Ashley J. Chen
AU  - Shuo Chen
AU  - Yang Chen
AU  - Zhongxin Guo
AU  - Tzu-Han Hsu
AU  - Peng Liu
AU  - Nanqing Luo
PY  - 2025
UR  - https://arxiv.org/abs/2408.06478
ID  - 2408.06478
ER  -