Verifying safety properties using separation and heterogeneous abstractions.

Eran Yahav G. Ramalingam

Published in: PLDI (2004)

Keyphrases

desirable properties
neural network
e learning
high level
multiscale
structural properties
real world
machine learning
decision trees
three dimensional
topological properties