A command line console simulator for executing a contract automaton and exploring the state space.
contractautomataproject/InteractiveSimulator
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A command line console simulator for executing a contract automaton and exploring the state space.