FixRoute: A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering

Behnaz Arzani, Alexander Gurney, Bo Li +3

The performance of networks that use the Internet Protocol is sensitive to precise configuration of many low-level parameters on each network device. These settings govern the acti…