Experiences formally verifying a network component | IEEE Conference Publication | IEEE Xplore