During the autumn of 2017 and the spring of 2018 I supervised respectively four and two students who worked with the GUI for Ecdar.
This resulted in the following two reports:
9th semester: Ecdar 2.0 – A New Integrated Modelling and Verification Environment for Compositional Real-Time Systems
10th semester: Extending Ecdar 2.0 with a User-Centered Visual Simulator
Student project on Visualization of Zones in Real-Time Models, which will potentially be integrated into H-Uppaal and Ecdar.
Comments are closed.