Modeling and testing main IPv6 protocols