Verifying Isolation Properties in the Presence of Middleboxes.

Aurojit Panda Ori Lahav Katerina J. Argyraki Mooly Sagiv Scott Shenker

Published in: CoRR (2014)

Keyphrases

data sets
case study
wide range
desirable properties
real time
genetic algorithm
information systems
image sequences
training data
data streams
object recognition
information technology
model checking
structural properties