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