Login / Signup
Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE.
Scott Wesley
Maria Christakis
Jorge A. Navas
Richard J. Trefler
Valentin Wüstholz
Arie Gurfinkel
Published in:
VMCAI (2022)
Keyphrases
</>
high level
information sharing
communication systems
smart objects
supply chain
computer networks
communication overhead
cooperative
communication networks
information exchange
database
genetic algorithm
electronic commerce
communication cost
communication protocols
concurrent processes