A PosterioriSoundness for Non-deterministic Abstract Interpretations.

Matthew Might Panagiotis Manolios

Published in: VMCAI (2009)

Keyphrases

data sets
higher level
neural network
high level
data structure
lower bound
randomized algorithms
real time
real world
multiscale
probability distribution