Runtime Verification of Ethereum Smart Contracts.
Joshua EllulGordon J. PacePublished in: EDCC (2018)
Keyphrases
- model checking
- formal verification
- verification method
- smart environments
- supply chain
- artificial intelligence
- concurrent systems
- face verification
- evolutionary algorithm
- information systems
- context aware
- resource allocation
- data structure
- multiscale
- database systems
- smart grid
- signature verification
- decision making
- neural network