AlexandreDecan/sismic

Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/

语言：Python · GitHub 星标：171 · Fork：32

话题：behavior-driven-development · design-by-contract · finite-state-machine · hierarchical-state-machine · property-testing · python · statecharts · testing

在 GitHub 上查看原仓库