System Verification through Program Verification.

Daniel Dietsch Bernd Westphal Andreas Podelski

Published in: FM (2011)

Keyphrases

model checking
multiscale
feature vectors
formal verification
verification method
real time
data sets
databases
neural network
multimedia
case study
digital libraries
face verification