Modelling a Blockchain for Smart Contract Verification using DeepSEA.

Daniel Britten Steve Reeves

Published in: FTSCS (2022)

Keyphrases

model checking
stereo camera
social networks
video sequences
supply chain
low power
smart grid
formal verification
concurrent systems
false acceptance rate
dispute resolution
ubiquitous environments
functional verification