Login / Signup
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.
Ye Liu
Yue Xue
Daoyuan Wu
Yuqiang Sun
Yi Li
Miaolei Shi
Yang Liu
Published in:
CoRR (2024)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
image retrieval
relevance feedback
information retrieval systems
supply chain
automated verification
symbolic model checking
text retrieval
smart environments
retrieval method
retrieval systems
information retrieval
document retrieval
image database
content based retrieval
retrieval process
efficient retrieval
power system
software development
language model
program slicing