FaVe: Modeling IPv6 firewalls for fast formal verification. - Claas Lorenz; Sebastian Kiekheben; Bettina Schnor (NetSys, 2017)