Our Approach


Develop a tool that uses static analysis to analyze router configurations.

Operators can make BGPv4 less error-prone.
Find configuration problems before deployment.

We can learn from the errors we find in today's configurations.