VeriFlow
Ahmed Khurshid, Wenxuan Zhou, Matthew Caesar, P. Brighten Godfrey · 2012
Networks are complex and prone to bugs. Existing tools that check configuration files and data-plane state operate offline at timescales of seconds to hours, and cannot detect or prevent bugs as they arise.