Modelling and verification of the MCS layer with Spin.

Pedro Merino José María Troya Linero

Published in: The Spin Verification System (1996)

Keyphrases

multi layer
face verification
case study
formal verification
application layer
neural network
information systems
multiscale
pattern recognition
feature space
formal methods
signature verification
verification method