Towards Benchmarking of Solidity Verification Tools.

Massimo Bartoletti Fabio Fioravanti Giulia Matricardi Roberto Pettinau Franco Sainas

Published in: FMBC@CAV (2024)

Keyphrases

software tools
knowledge base
decision support
formal methods
user friendly
data mining
genetic algorithm
social networks
information systems
metadata
case study
video sequences
multi agent systems
learning systems
model checking
functional verification