GitHub repository: tommens/sismic
Primary language: Python
Description: Sismic Interactive State Machine Interpreter and Checker http://sismic.readthedocs.org/