sismic
sismic copied to clipboard
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
Firstly, thanks a lot for this tool. I accidentally discovered it, and I am really glad I found it. I am new to sismic. I was trying to visualize `tests/yaml/deep_history.yaml`,...
Hi, I'm looking for a mechanism to persist / restore interpreter state. My current approach is to persist `Interpreter._configuration` to database. To restore it I instantiate `Interpreter` wit a restored...
This branch is a first attempt to create a kind of temporal logic in Python, that can be used to automatically generate property statecharts from a "Python formula".
This branch implements some support to automatically get some information from the Python code contained in a statechart, such as the events that can be sent, the attributes that are...
This branch provides (for an old version of Sismic) a very basic GUI (written using Tkinter) that can be used to orchestrate a statechart.