Outline


Design and implementation of rcc (a.k.a. "RoLex").
Correctness definition
Description of tests

Study of configuration errors from 9 ASes.

Recommended protocol and language changes.

Appeal for cooperation and feedback.
Run rcc on your configurations.
Let us know what you find.
Suggest new tests and features.