PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.
Ye LiuYue XueDaoyuan WuYuqiang SunYi LiMiaolei ShiYang LiuPublished 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