Sismic Interactive State Machine Interpreter and Checker

behavior-driven-development design-by-contract finite-state-machine hierarchical-state-machine property-testing python statecharts testing uml