add Simulation tab(s)
|Status:||Closed||Start date:||12 May 2009|
- plain LTS
- determinized LTS
- suspension automaton (=determinized LTS + delta synthesis)
- specification + guide
we may want to be able to have multiple simulation panes active at the same time, e.g. one for spec and one for impl.
if we have more advanced tabs/panes management, we can dynamically create and delete dedicated simulator panes, that are created via multiple Simulate buttons (a la View) that preset the config of created sim pane to correct settings.
once we have this simulators, we can use them to replay traces, e.g. traces reported by the iocoChecker.