Miscellaneous scripts for analyzing protocols and systems - View it on GitHub