Improving the Model Checking Activity - H-UPPAAL: A New Integrated Development Environment for Model Checking
Student thesis: Master Thesis and HD Thesis
- Niklas Kirk Mouritzsen
- Rasmus Holm Jensen
4. term, Software, Master (Master Programme)
| Language | English |
|---|---|
| Publication date | 2 Jun 2017 |
| Number of pages | 74 |
| Keywords | model checking, verification, uppaal, huppaal, h-uppaal, hierarchies, integrated development environment, IDE, performance, test, evaluation, usability |
|---|