...
- SCCharts Verification (Master/Bachelor)
Add the possibility to perfom model checking on SCCharts - Raceyard evaluation (Master)
Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments - Causality Visualization
Visualizing causality and scheduling problems in the diagram to guide the modeller
...