solc-verify: A Modular Verifier for Solidity Smart Contracts.

Ákos Hajdu Dejan Jovanovic

Published in: VSTTE (2019)

Keyphrases

data sets
supply chain
highly flexible
modular structure
real world
genetic algorithm
website
web services
decision trees
multiscale
expert systems
smart grid
moral hazard
modular neural networks
ubiquitous environments