Abdelghany, Ibrahim Hassan
(2020)
Traditional and SDN Networks are increasingly more complex and covering more use-cases making reasoning about network behavior all-the-more challenging. Dedicated tools to verify networks for reachability and other invariants ...