Automated construction of predicate abstractions for smart contract validation

2025/10/27 by Javier Godoy, Eden Torres, E. López Torres +5 · 1 voice
Business, Management and Accounting · Computer Science · #Blockchain Technology Applications and Security #Supply Chain and Inventory Management

paper · doi:10.1007/s10270-025-01333-x

crossref issued 2025/10/27 · crossref published 2025/10/27 · crossref published-online 2025/10/27 · openalex publication_date 2025/10/27 · crossref created 2025/10/27 · crossref deposited 2025/10/27 · crossref indexed 2025/10/27 · openalex created_date 2025/10/28 · openalex updated_date 2026/07/23

Citations

• Alloy
• SmartBugs: A Framework to Analyze Solidity Smart Contracts
• sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts
• Securify: Practical Security Analysis of Smart Contracts
• Finding The Greedy, Prodigal, and Suicidal Contracts at Scale

Discussions

• #OnlineFirst Automated construction of predicate abstractions for smart contract validation Javier Godoy, Eden Torres, Juan P. Galeotti, Diego Garbervetsky & Sebastian Uchitel doi.org/10.1007/s102... [bsky, 0 points, 0 comments]