Sismic
1.5.0
Overview
Installation
Statecharts definition
Statecharts visualization
Statecharts execution
Include code in statecharts
Statechart testing
Design by Contract for statecharts
Monitoring properties
Behavior-Driven Development
Statechart unit testing
Advanced topics
Dealing with time
Running multiple statecharts
Integrate statecharts into your code
Misc
Credits
Changelog
API Reference
Module
bdd
Module
clock
Module
code
Module
exceptions
Module
helpers
Module
interpreter
Module
io
Module
model
Module
runner
Module
testing
Sismic
Docs
»
API Reference
Edit on GitHub
API Reference
ΒΆ
Module
bdd
Module
clock
Module
code
Module
exceptions
Module
helpers
Module
interpreter
Module
io
Module
model
Module
runner
Module
testing
Read the Docs
v: 1.5.0
Versions
master
latest
1.5.0
1.4.1
1.3.0
1.2.2
1.2.0
1.1.2
1.0.1
Downloads
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.