Giulia Matricardi

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 3

Top Topics

Sufficient Conditions

Top Venues

Publications

Marco Di Ianni, Fabio Fioravanti, Giulia Matricardi
Visualizing CHC Verification Conditions for Smart Contracts Auditing. CILC (2024)
Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas
Towards benchmarking of Solidity verification tools. CoRR (2024)
Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas
Towards Benchmarking of Solidity Verification Tools. FMBC@CAV (2024)