Reduction-Based Formal Analysis of BGP Instances.

Anduo Wang Carolyn L. Talcott Alexander J. T. Gurney Boon Thau Loo Andre Scedrov

Published in: TACAS (2012)

Keyphrases

formal analysis
anomaly detection
formal methods
randomly generated
training instances
data reduction
agent model
ban logic
machine learning
natural language
object oriented