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

Ákos Hajdu Dejan Jovanovic

Published in: CoRR (2019)

Keyphrases

real time
supply chain
decision making
smart grid
modular neural networks
neural network
artificial intelligence
computer vision
bayesian networks
smart environments
ubiquitous environments