Login / Signup
Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper).
Daniel Britten
Vilhelm Sjöberg
Steve Reeves
Published in:
FMBC@CAV (2021)
Keyphrases
</>
pattern matching
supply chain
pattern detection
low power
neural network
databases
database
information systems
decision making
decision trees
multi agent
social interaction
data sets
theorem prover
pattern languages
smart grid
low latency
interaction patterns