Towards benchmarking of Solidity verification tools.

Massimo Bartoletti Fabio Fioravanti Giulia Matricardi Roberto Pettinau Franco Sainas

Published in: CoRR (2024)

Keyphrases

end users
artificial intelligence
software tools
database
user friendly
data sets
information retrieval
information systems
relational databases
data model
object oriented
face verification
formal methods
visualization tool
formal verification