Imagen de Portada

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Liu, Ye, Xue, Yue, Wu, Daoyuan, Sun, Yuqiang, Li, Yi, Shi, Miaolei, Liu, Yang
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications
por: Ma, Wei, et al.
Publicado: (2024)

GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
por: Sun, Yuqiang, et al.
Publicado: (2023)

Automated Invariant Generation for Solidity Smart Contracts
por: Liu, Ye, et al.
Publicado: (2024)

SCPatcher: Automated Smart Contract Code Repair via Retrieval-Augmented Generation and Knowledge Graph
por: Li, Xiaoqi, et al.
Publicado: (2026)

LLM-based Unit Test Generation via Property Retrieval
por: Zhang, Zhe, et al.
Publicado: (2024)

ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts
por: Zhang, Lyuye, et al.
Publicado: (2024)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
por: Liu, Ye, et al.
Publicado: (2024)

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
por: Corazza, Jan, et al.
Publicado: (2025)

Smart Contracts Formal Verification: A Systematic Literature Review
por: Davila, Rene, et al.
Publicado: (2025)

Demystifying the Characteristics for Smart Contract Upgrades
por: Liu, Ye, et al.
Publicado: (2024)

V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
por: Zhang, Jingwen, et al.
Publicado: (2026)

LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning
por: Sun, Yuqiang, et al.
Publicado: (2024)

Smart Contract Fuzzing Towards Profitable Vulnerabilities
por: Kong, Ziqiao, et al.
Publicado: (2025)

Towards Automated Smart Contract Generation: Evaluation, Benchmarking, and Retrieval-Augmented Repair
por: Chen, Zaoyu, et al.
Publicado: (2025)

Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
por: Li, Kaixuan, et al.
Publicado: (2024)

Augmenting Smart Contract Decompiler Output through Fine-grained Dependency Analysis and LLM-facilitated Semantic Recovery
por: Liao, Zeqin, et al.
Publicado: (2025)

Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning
por: Liu, Ye, et al.
Publicado: (2025)

Generating Move Smart Contracts based on Concepts
por: Karanjai, Rabimba, et al.
Publicado: (2024)

Bridging Solidity Evolution Gaps: An LLM-Enhanced Approach for Smart Contract Compilation Error Resolution
por: Ye, Likai, et al.
Publicado: (2025)

LAURA: Enhancing Code Review Generation with Context-Enriched Retrieval-Augmented LLM
por: Zhang, Yuxin, et al.
Publicado: (2025)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
por: Ma, Lezhi, et al.
Publicado: (2026)

All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts
por: Sun, Tianle, et al.
Publicado: (2024)

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
por: Hähnle, Reiner, et al.
Publicado: (2025)

Improving Retrieval-Augmented Code Comment Generation by Retrieving for Generation
por: Lu, Hanzhen, et al.
Publicado: (2024)

Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
por: Wu, Hao, et al.
Publicado: (2025)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
por: Mbodji, Fatou Ndiaye, et al.
Publicado: (2024)

Combining GPT and Code-Based Similarity Checking for Effective Smart Contract Vulnerability Detection
por: Zhang, Jango
Publicado: (2024)

When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?
por: Chen, Chong, et al.
Publicado: (2023)

Beyond Code Similarity: Benchmarking the Plausibility, Efficiency, and Complexity of LLM-Generated Smart Contracts
por: Salzano, Francesco, et al.
Publicado: (2025)

Demystifying Invariant Effectiveness for Securing Smart Contracts
por: Chen, Zhiyang, et al.
Publicado: (2024)

On LLM-Assisted Generation of Smart Contracts from Business Processes
por: Stiehle, Fabian, et al.
Publicado: (2025)

Enhancing LLM-based Fault Localization with a Functionality-Aware Retrieval-Augmented Generation Framework
por: Shi, Xinyu, et al.
Publicado: (2025)

Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
por: Li, Lantian, et al.
Publicado: (2025)

Validation Framework for E-Contract and Smart Contract
por: Godboley, Sangharatna, et al.
Publicado: (2025)

Automating Comment Generation for Smart Contract from Bytecode
por: Xiang, Jianhang, et al.
Publicado: (2025)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
por: Chen, Zhiyang, et al.
Publicado: (2024)

End-user Comprehension of Transfer Risks in Smart Contracts
por: Panicker, Yustynn, et al.
Publicado: (2024)

LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models
por: Shou, Chaofan, et al.
Publicado: (2024)

FidelityGPT: Correcting Decompilation Distortions with Retrieval Augmented Generation
por: Zhou, Zhiping, et al.
Publicado: (2025)

SolContractEval: A Benchmark for Evaluating Contract-Level Solidity Code Generation
por: Ye, Zhifan, et al.
Publicado: (2025)