TY  - RPRT
TI  - PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
AU  - Ye Liu
AU  - Yue Xue
AU  - Daoyuan Wu
AU  - Yuqiang Sun
AU  - Yi Li
AU  - Miaolei Shi
AU  - Yang Liu
PY  - 2024
DO  - 10.14722/ndss.2025.241357
UR  - https://arxiv.org/abs/2405.02580
ID  - 2405.02580
ER  -