Verification-Led Smart Contracts.

Published in: Financial Cryptography Workshops (2019)

Keyphrases

model checking
supply chain
formal verification
concurrent systems
data structure
verification method
databases
search engine
search algorithm
smart spaces