High-level and formal router policy verification. - Daniel Conte de Leon; Matthew G. Brown; Ananth A. Jillepalli; Antonius Q. Stalick; Jim Alves-Foss (J. Comput. Sci. Coll., 2017)