Toward parameterized verification of synchronous distributed applications.

Sagar Chaki James R. Edmondson

Published in: SPIN (2014)

Keyphrases

model checking
data sets
face verification
three dimensional
person identification
asynchronous communication
verification method
database
neural network
computer vision
multiscale
learning environment
video sequences
hidden markov models
formal methods