Optimizing verification effort with SPARK 2014.

Pavlos Efstathopoulos Andrew Hawthorn

Published in: HILT (2013)

Keyphrases

model checking
person identification
data sets
face verification
formal methods
database
neural network
social networks
decision making
website
reinforcement learning
video sequences
formal analysis
verification method