McScM: A General Framework for the Verification of Communicating Machines.

Alexander Heußner Tristan Le Gall Grégoire Sutre

Published in: TACAS (2012)

Keyphrases

model checking
neural network
data mining
artificial intelligence
communication channels
learning machines
face verification
data sets
databases
feature extraction
multiscale
formal methods
formal analysis
formal verification