Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2509.13023
Cited By
Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
Electronic Proceedings in Theoretical Computer Science (EPTCS), 2025
16 September 2025
Ştefan-Claudiu Susan
Andrei Arusoaie
Dorel Lucanu
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models"
0 / 0 papers shown
No papers found
