sismic (pypi): Sismic Interactive Statechart Model Interpreter and Checker
Keywords: statechart|state|machine|interpreter|model|uml|scxml|harel|behavior-driven-development|design-by-contract|finite-state-machine|hierarchical-state-machine|property-testing|python|statecharts|testing