Towards Benchmarking of Solidity Verification Tools. - Massimo Bartoletti; Fabio Fioravanti; Giulia Matricardi; Roberto Pettinau; Franco Sainas (FMBC@CAV, 2024)