FaVe: Modeling IPv6 firewalls for fast formal verification

Claas Lorenz, Sebastian Kiekheben, Bettina Schnor. FaVe: Modeling IPv6 firewalls for fast formal verification. In 2017 International Conference on Networked Systems, NetSys 2017, Göttingen, Germany, March 13-16, 2017. pages 1-8, IEEE, 2017. [doi]

Abstract

Abstract is missing.