Runtime Verification for Blockchains.

Published in: SRDS (2021)

Keyphrases

model checking
formal verification
face verification
verification method
concurrent systems
real time
data sets
artificial intelligence
information systems
face detection
formal methods