H-Uppaal

During the Autumn of 2016 and the spring of 2017 I supervised to master thesis students who created a new GUI for modeling Hierarchical Timed Automata.

This resulted in the following two semester reports

9th semester: INTRODUCING HIERARCHIES TO NETWORKS OF TIMED AUTOMATA H-UPPAAL: A NEW INTEGRATED DEVELOPMENT ENVIRONMENT FOR MODEL CHECKING

10th semester: IMPROVING THE MODEL CHECKING ACTIVITY USING H-UPPAAL: A NEW INTEGRATED DEVELOPMENT ENVIRONMENT FOR MODEL CHECKING

And a graphical editor for editing hierarchical timed automata.

Comments are closed.