FaVe: Modeling IPv6 firewalls for fast formal verification | IEEE Conference Publication | IEEE Xplore