Login / Signup
Franco Sainas
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Software Tools
Formal Methods
User Friendly
Video Sequences
Top Venues
CoRR
FMBC@CAV
</>
Publications
</>
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)