Browsing by Subject "model verification and validation"

Now showing items 1-1 of 1

  • Identifying equivalent SDN forwarding behaviour

    Sanger, Richard; Luckie, Matthew John; Nelson, Richard (ACM, 2019)
    Software-Defined Networking (SDN) enables network operators the flexibility to program their own forwarding rules, providing more than one way to achieve the same behaviour. Verifying equivalence between rulesets is a ...