Finding smart contract vulnerabilities with ConCert's property-based testing framework.

Mikkel Milo Eske Hoy Nielsen Danil Annenkov Bas Spitters

Published in: CoRR (2022)

Keyphrases

main contribution
conceptual framework
neural network
multi agent
probabilistic model
theoretical framework
real time
information retrieval
computer vision
information systems
reinforcement learning
information security