Proving Safety Properties of Rewrite Theories.

Camilo Rocha José Meseguer

Published in: CALCO (2011)

Keyphrases

structural properties
database
neural network
machine learning
social networks
metadata
artificial intelligence
desirable properties
topological properties
safety analysis