Modular Verification of Collaborating Smart Contracts.

Christian Bräm Marco Eilers Peter Müller Robin Sierra Alexander J. Summers

Published in: CoRR (2021)

Keyphrases

model checking
formal methods
smart environments
moral hazard
verification method
face verification
temporal logic
supply chain
data sets
formal analysis
case study
modular structure
concurrent systems
mobile devices
search algorithm
video sequences
image sequences
smart grid
smart spaces
high security
neural network