A tool to automate verification of network-based device behavior - View it on GitHub