LLM-driven Property Generation Elevates Smart Contract Formal Verification
This research introduces PropertyGPT, an AI-powered system that automates comprehensive property generation, overcoming a critical bottleneck in smart contract formal verification.
