A set of tools to automate the verification of protocol upgrade - View it on GitHub