Ecdar GUI

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.