TY  - RPRT
TI  - Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
AU  - Jan Corazza
AU  - Ivan Gavran
AU  - Gabriela Moreira
AU  - Daniel Neider
PY  - 2025
DO  - 10.1109/icst62969.2025.10989026
UR  - https://arxiv.org/abs/2501.12972
ID  - 2501.12972
ER  -