Provably Correct Smart Contracts: An Approach using DeepSEA.

Daniel Britten Vilhelm Sjöberg Steve Reeves

Published in: SPLASH Companion (2022)

Keyphrases

provably correct
situation calculus
formal methods
error estimates
databases
supply chain
smart environments
autonomous navigation
moral hazard
neural network
stereo camera
interval arithmetic
image rectification