Structural Verification in Minimal Time.

Martin Holzer Bastian Knerr Markus Rupp

Published in: SoC (2006)

Keyphrases

model checking
neural network
structural information
formal analysis
data structure
concurrent systems
machine learning
search algorithm
face verification
formal methods
structural constraints
verification method