Title: A tool for automated validation of network protocols