Visualizing CHC Verification Conditions for Smart Contracts Auditing. - Marco Di Ianni; Fabio Fioravanti; Giulia Matricardi (CILC, 2024)

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