AAU Student Projects - visit Aalborg University's student projects portal
A master's thesis from Aalborg University
Book cover


Improving the Model Checking Activity - H-UPPAAL: A New Integrated Development Environment for Model Checking

Authors

;

Term

4. term

Education

Software, Master

Publication year

2017

Submitted on

Pages

74

Keywords

model checking ; verification ; uppaal ; huppaal ; h-uppaal ; hierarchies ; integrated development environment ; IDE ; performance ; test ; evaluation ; usability

Documents

Download
View record in AAU Student Projects