Limitations and Ongoing Work


Static analysis can't catch everything.
Idea: "sandbox" to test configurations

Constraint specification is not easy (yet).
Idea: statistical beliefs of "correctness"

Verifying constraints across multiple ASes.

Towards intent-based configuration languages.
Figuring out how to express operator intent.
Operator should specify intended goals, not the mechanism.