Automatic Review of Abstract State Machines by Meta Property Verification.

Paolo Arcaini Angelo Gargantini Elvinia Riccobene

Published in: NASA Formal Methods (2010)

Keyphrases

semi automatic
artificial neural networks
face verification
database

real world
information retrieval
clustering algorithm
case study

bayesian networks
fully automatic
desirable properties

meta level
person identification
verification method