GitHub repository: AlexandreDecan/sismic
Primary language: Python
Description: Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/