Handshake Verification in WORKCRAFT.

Victor Khomenko Danil Sokolov Alex Yakovlev David Lloyd

Published in: ASYNC (2020)

Keyphrases

multi agent
model checking
asynchronous circuits
data sets
multiscale
face detection
face verification
signature verification
formal verification
neural network
data mining
computer vision
case study
image sequences
formal methods
verification method