TY  - RPRT
TI  - Towards benchmarking of Solidity verification tools
AU  - Massimo Bartoletti
AU  - Fabio Fioravanti
AU  - Giulia Matricardi
AU  - Roberto Pettinau
AU  - Franco Sainas
PY  - 2024
UR  - https://arxiv.org/abs/2402.10750
ID  - 2402.10750
ER  -